// (c) MIT 2003.  All rights reserved.

// -*-Mode: Java-*- 
// $Id: ContradictionHandler.java,v 1.4 2003/03/06 00:40:39 moltmans Exp $
// ContradictionHandler.java -- 
// Author: Michael Oltmans <moltmans@ai.mit.edu> 
// Created: <Wed Apr 26 21:37:11 2000> 
// Time-stamp: <2000-04-27 20:02:23 moltmans> 
package rec.tms;

import java.util.*;

public interface ContradictionHandler 
{
  /** Handle the list of nodes that are contradictions **/
  public void handle( LinkedList contradictions );
}

