edu.toronto.cs.proof2
Class EqualFormula

java.lang.Object
  extended by edu.toronto.cs.proof2.Formula
      extended by edu.toronto.cs.proof2.ComparisonFormula
          extended by edu.toronto.cs.proof2.EqualFormula

public class EqualFormula
extends ComparisonFormula


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

EqualFormula

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

operatorToString

public java.lang.String operatorToString()
Specified by:
operatorToString in class ComparisonFormula