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

// -*-Mode: Java-*- 
// $Id: JTMSTest.java,v 1.4 2003/03/06 00:40:39 moltmans Exp $
// JTMSTest.java -- 
// Author: Michael Oltmans <moltmans@ai.mit.edu> 
// Created: <Thu Apr 27 11:49:50 2000> 
// Time-stamp: <2000-05-04 15:54:00 moltmans> 
package rec.tms;

import java.util.*;

public class JTMSTest 
{
  public static void main( String[] argv ) 
  {
    test1();
    //test3();
  }
  
  public static void test1() 
  {
	
//      JTMS jtms = new JTMS( "ex1" );
//      Node na = new Node( jtms, "a", true, false );
//      Node nb = new Node( jtms, "b", true, false );
//      Node nc = new Node( jtms, "c", true, false );
//      Node nd = new Node( jtms, "d", true, false );
//      Node ne = new Node( jtms, "e", true, false );
//      Node nf = new Node( jtms, "f", true, false );
//      Node ng = new Node( jtms, "g", true, false );

//      LinkedList list = new LinkedList();

//      list.add( na );
//      list.add( nb );
//      na.justify( "j1", new LinkedList( list ) );

//      list.clear();
//      list.add( nb );
//      list.add( nc );
//      ne.justify( "j2", new LinkedList( list ) );
    
//      list.clear();
//      list.add( na );
//      list.add( ne );
//      ng.justify( "j3", new LinkedList( list ) );

//      list.clear();
//      list.add( nd );
//      list.add( ne );
//      ng.justify( "j4", new LinkedList( list ) );

//      Node contra = new Node( jtms, "Loser", false, true );
//      list.clear();
//      list.add( ne );
//      list.add( ng );
//      contra.justify( "j5", new LinkedList( list ) );

//      na.enableAssumption();
//      nb.enableAssumption();
//      nc.enableAssumption();
//      nd.enableAssumption();

//      System.out.println( contra.isIn() );
//    }


//    public static void test3() 
//    {
//      JTMS jtms = new JTMS( "ex1" );
//      Node a = new Node( jtms, "a", true, false );
//      Node c = new Node( jtms, "c", true, false );
//      Node e = new Node( jtms, "e", true, false );

//      Node h = new Node( jtms, "h", false, false );
//      Node g = new Node( jtms, "g", false, false );
//      Node contradiction = new Node( jtms, "CONTRADICTION", false, true );
    
//      a.enableAssumption();
//      c.enableAssumption();
//      e.enableAssumption();

//      LinkedList list = new LinkedList();

//      list.add( c );
//      list.add( e );
//      h.justify( "R1", list );
    
//      list.clear();
//      list.add( a );
//      list.add( c );
//      g.justify( "R2", list );

    
//      list.clear();
//      list.add( h );
//      g.justify( "Mike", list );
    
//      list.clear();
//      list.add( g );
//      try {
//        contradiction.justify( "R3", list );
//      }
//      catch( Error err ) {
//        System.out.println( err );
//      }

//      System.out.println( g.getAssumptions() );
//      a.retractAssumption();
//      jtms.checkForContradictions();
  }

}
