edu.toronto.cs.proof2
Class Formula
java.lang.Object
edu.toronto.cs.proof2.Formula
- Direct Known Subclasses:
- ComparisonFormula, ConstantFormula
public class Formula
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
BELOW
public static int BELOW
ABOVE
public static int ABOVE
EQUAL
public static int EQUAL
stateName
public static StateName stateName
Formula
public Formula(CTLNode _ctl,
AlgebraValue _val,
MvSet _state)
getConsequent
public CTLNode getConsequent()
setParentFormula
public void setParentFormula(Formula f)
getParentFormula
public Formula getParentFormula()
getValue
public AlgebraValue getValue()
getState
public MvSet getState()
getStateName
public java.lang.String getStateName()
duplicate
public static Formula duplicate(Formula f,
CTLNode ctl,
AlgebraValue val,
MvSet state)