edu.toronto.cs.proof2
Class AboveFormula

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

public class AboveFormula
extends ComparisonFormula


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

AboveFormula

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

operatorToString

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