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

Packages that use PredicateTable.IntVariable
edu.toronto.cs.yasm.pprogram   
 

Uses of PredicateTable.IntVariable in edu.toronto.cs.yasm.pprogram
 

Methods in edu.toronto.cs.yasm.pprogram that return PredicateTable.IntVariable
 PredicateTable.IntVariable ReturnSelectorPStmt.getReturnIndex()
           
 PredicateTable.IntVariable PredicateTable.newIntVar(Expr name, int range)