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

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)