satisfiabilityApplet.tauTautology
Class SimpleConjunction

java.lang.Object
  extended bysatisfiabilityApplet.tauTautology.SimpleConjunction

public class SimpleConjunction
extends java.lang.Object

by Catherine Block id# 6319 Date: Nov 23, 2004 Time: 2:01:29 PM CS 180H


Field Summary
 java.util.ArrayList items
           
 
Constructor Summary
SimpleConjunction()
           
 
Method Summary
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

items

public java.util.ArrayList items
Constructor Detail

SimpleConjunction

public SimpleConjunction()
Method Detail

toString

public java.lang.String toString()