edu.toronto.cs.yasm.pprogram
Class PredicateTable.Predicate

java.lang.Object
  extended by 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


Constructor Summary
PredicateTable.Predicate(Expr _name, int _shadowIdx, int _id)
           
 
Method Summary
 java.lang.String getCtlName()
           
 int getId()
           
 MvSet getMvSet()
           
 Expr getName()
           
 PredicateTable.Predicate getShadow(int i)
           
 PredicateTable.Predicate[] getShadows()
           
 boolean isShadow()
           
 void resetMvSet()
           
 void setCtlName(java.lang.String v)
           
 void setShadows(PredicateTable.Predicate[] v)
           
 int size()
           
 CTLNode toCTL(AlgebraValue[] state)
           
 Expr toExpr(AlgebraValue[] state)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

PredicateTable.Predicate

public PredicateTable.Predicate(Expr _name,
                                int _shadowIdx,
                                int _id)
Method Detail

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)