edu.toronto.cs.proof2
Class BelowFormula

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

public class BelowFormula
extends ComparisonFormula


Field Summary
 
Fields inherited from class edu.toronto.cs.proof2.Formula
ABOVE, BELOW, EQUAL, stateName
 
Constructor Summary
BelowFormula(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

BelowFormula

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

operatorToString

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