edu.toronto.cs.yasm.pprogram
Class PredicateTable.Predicate
java.lang.Object
edu.toronto.cs.yasm.pprogram.PredicateTable.Predicate
- Direct Known Subclasses:
- PredicateTable.AddPredicate, PredicateTable.IntVariable
- Enclosing class:
- PredicateTable
public class PredicateTable.Predicate
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
PredicateTable.Predicate
public PredicateTable.Predicate(Expr _name,
int _shadowIdx,
int _id)
getName
public Expr getName()
getCtlName
public java.lang.String getCtlName()
setCtlName
public void setCtlName(java.lang.String v)
getShadow
public PredicateTable.Predicate getShadow(int i)
setShadows
public void setShadows(PredicateTable.Predicate[] v)
getShadows
public PredicateTable.Predicate[] getShadows()
isShadow
public boolean isShadow()
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object
getId
public int getId()
size
public int size()
getMvSet
public MvSet getMvSet()
resetMvSet
public void resetMvSet()
toCTL
public CTLNode toCTL(AlgebraValue[] state)
toExpr
public Expr toExpr(AlgebraValue[] state)