edu.toronto.cs.yasm.pprogram
Class PredicateTable.IntVariable
java.lang.Object
edu.toronto.cs.yasm.pprogram.PredicateTable.Predicate
edu.toronto.cs.yasm.pprogram.PredicateTable.IntVariable
- Enclosing class:
- PredicateTable
public class PredicateTable.IntVariable
- extends PredicateTable.Predicate
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
PredicateTable.IntVariable
public PredicateTable.IntVariable(Expr _name,
int _range)
getEnumType
public EnumType getEnumType()
bitWidth
public int bitWidth()
setId
public void setId(int _id)
size
public int size()
- Overrides:
size
in class PredicateTable.Predicate
toString
public java.lang.String toString()
- Overrides:
toString
in class PredicateTable.Predicate
eq
public MvSet eq(int i)
getBitCube
public MvSet getBitCube()
eq
public MvSet eq(java.lang.Integer i)
getMvSet
public MvSet getMvSet()
- Overrides:
getMvSet
in class PredicateTable.Predicate
toCTL
public CTLNode toCTL(AlgebraValue[] state)
- Overrides:
toCTL
in class PredicateTable.Predicate
toExpr
public Expr toExpr(AlgebraValue[] state)
- Overrides:
toExpr
in class PredicateTable.Predicate