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

java.lang.Object
  extended by edu.toronto.cs.yasm.pprogram.PredicateTable.Predicate
      extended by edu.toronto.cs.yasm.pprogram.PredicateTable.AddPredicate
Enclosing class:
PredicateTable

public class PredicateTable.AddPredicate
extends PredicateTable.Predicate


Constructor Summary
PredicateTable.AddPredicate(Expr _name, int _shadowIdx, int _id)
           
 
Method Summary
 MvSet __getMvSet()
           
 CTLNode __toCTL(AlgebraValue[] state)
           
 MvSet getMvSet()
           
 int size()
           
 CTLNode toCTL(AlgebraValue[] state)
           
 Expr toExpr(AlgebraValue[] state)
           
 
Methods inherited from class edu.toronto.cs.yasm.pprogram.PredicateTable.Predicate
getCtlName, getId, getName, getShadow, getShadows, isShadow, resetMvSet, setCtlName, setShadows, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

PredicateTable.AddPredicate

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

size

public int size()
Overrides:
size in class PredicateTable.Predicate

__getMvSet

public MvSet __getMvSet()

getMvSet

public MvSet getMvSet()
Overrides:
getMvSet in class PredicateTable.Predicate

__toCTL

public CTLNode __toCTL(AlgebraValue[] state)

toCTL

public CTLNode toCTL(AlgebraValue[] state)
Overrides:
toCTL in class PredicateTable.Predicate

toExpr

public Expr toExpr(AlgebraValue[] state)
Overrides:
toExpr in class PredicateTable.Predicate