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

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

public class PredicateTable.IntVariable
extends PredicateTable.Predicate


Constructor Summary
PredicateTable.IntVariable(Expr _name, int _range)
           
 
Method Summary
 int bitWidth()
           
 MvSet eq(int i)
           
 MvSet eq(java.lang.Integer i)
           
 MvSet getBitCube()
           
 EnumType getEnumType()
           
 MvSet getMvSet()
           
 void setId(int _id)
           
 int size()
           
 CTLNode toCTL(AlgebraValue[] state)
           
 Expr toExpr(AlgebraValue[] state)
           
 java.lang.String toString()
           
 
Methods inherited from class edu.toronto.cs.yasm.pprogram.PredicateTable.Predicate
getCtlName, getId, getName, getShadow, getShadows, isShadow, resetMvSet, setCtlName, setShadows
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

PredicateTable.IntVariable

public PredicateTable.IntVariable(Expr _name,
                                  int _range)
Method Detail

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