edu.toronto.cs.proof2
Class ComparisonFormula

java.lang.Object
  extended by edu.toronto.cs.proof2.Formula
      extended by edu.toronto.cs.proof2.ComparisonFormula
Direct Known Subclasses:
AboveFormula, BelowFormula, EqualFormula

public abstract class ComparisonFormula
extends Formula


Field Summary
 
Fields inherited from class edu.toronto.cs.proof2.Formula
ABOVE, BELOW, EQUAL, stateName
 
Constructor Summary
ComparisonFormula(CTLNode _ctl, AlgebraValue _val, MvSet _state)
           
 
Method Summary
abstract  java.lang.String operatorToString()
           
 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

ComparisonFormula

public ComparisonFormula(CTLNode _ctl,
                         AlgebraValue _val,
                         MvSet _state)
Method Detail

operatorToString

public abstract java.lang.String operatorToString()

toString

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