edu.toronto.cs.proof2
Class Formula

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

public class Formula
extends java.lang.Object


Field Summary
static int ABOVE
           
static int BELOW
           
static int EQUAL
           
static StateName stateName
           
 
Constructor Summary
Formula(CTLNode _ctl, AlgebraValue _val, MvSet _state)
           
 
Method Summary
static Formula duplicate(Formula f, CTLNode ctl, AlgebraValue val, MvSet state)
           
 CTLNode getConsequent()
           
 Formula getParentFormula()
           
 MvSet getState()
           
 java.lang.String getStateName()
           
 AlgebraValue getValue()
           
 void setParentFormula(Formula f)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

BELOW

public static int BELOW

ABOVE

public static int ABOVE

EQUAL

public static int EQUAL

stateName

public static StateName stateName
Constructor Detail

Formula

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

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)