edu.toronto.cs.proof2
Class ConstantFormula

java.lang.Object
  extended by edu.toronto.cs.proof2.Formula
      extended by edu.toronto.cs.proof2.ConstantFormula

public class ConstantFormula
extends Formula


Field Summary
 
Fields inherited from class edu.toronto.cs.proof2.Formula
ABOVE, BELOW, EQUAL, stateName
 
Constructor Summary
ConstantFormula(AlgebraValue _val)
           
 
Method Summary
 java.lang.String toString()
           
 
Methods inherited from class edu.toronto.cs.proof2.Formula
duplicate, getConsequent, getParentFormula, getState, getStateName, getValue, setParentFormula
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ConstantFormula

public ConstantFormula(AlgebraValue _val)
Method Detail

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object