|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use PredicateTable.Predicate | |
---|---|
edu.toronto.cs.yasm.pprogram |
Uses of PredicateTable.Predicate in edu.toronto.cs.yasm.pprogram |
---|
Subclasses of PredicateTable.Predicate in edu.toronto.cs.yasm.pprogram | |
---|---|
class |
PredicateTable.AddPredicate
|
class |
PredicateTable.IntVariable
|
Methods in edu.toronto.cs.yasm.pprogram that return PredicateTable.Predicate | |
---|---|
PredicateTable.Predicate |
PredicateTable.__newPredicate(Expr name)
Adds a new predicate with a name 'name'. |
PredicateTable.Predicate |
PredicateTable.getByCtlName(java.lang.String name)
|
PredicateTable.Predicate |
PredicateTable.getByName(Expr name)
|
PredicateTable.Predicate |
PredicateTable.Predicate.getShadow(int i)
|
PredicateTable.Predicate[] |
PredicateTable.Predicate.getShadows()
|
PredicateTable.Predicate |
PredicateTable.newPredicate(Expr name)
newPredicate creates a new predicate corresponding
to name. |
Methods in edu.toronto.cs.yasm.pprogram with parameters of type PredicateTable.Predicate | |
---|---|
void |
PredicateTable.Predicate.setShadows(PredicateTable.Predicate[] v)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |