Uses of Interface
edu.toronto.cs.yasm.wp.WPComputer

Packages that use WPComputer
edu.toronto.cs.yasm.abstractor   
edu.toronto.cs.yasm.pgenerator   
edu.toronto.cs.yasm.pprogram   
edu.toronto.cs.yasm.wp   
 

Uses of WPComputer in edu.toronto.cs.yasm.abstractor
 

Methods in edu.toronto.cs.yasm.abstractor that return WPComputer
 WPComputer BranchPredicateRefiner.getWPComputer(PrllAsmtPStmt asmt)
           
 WPComputer CBJPredicateRefiner.getWPComputer(PrllAsmtPStmt astmt)
           
 WPComputer CFFCPredicateRefiner.getWPComputer(PrllAsmtPStmt astmt)
           
 WPComputer LadderPredicateRefiner.getWPComputer(PrllAsmtPStmt asmt)
           
 WPComputer PredicateRefiner.getWPComputer(PrllAsmtPStmt asmt)
           
 

Uses of WPComputer in edu.toronto.cs.yasm.pgenerator
 

Fields in edu.toronto.cs.yasm.pgenerator declared as WPComputer
protected  WPComputer BasePredicateGenerator.wp
           
 

Constructors in edu.toronto.cs.yasm.pgenerator with parameters of type WPComputer
AIntellegence(PProgram p, PrllAsmtPStmt _stmt, PredicateRefiner _refiner, WPComputer _wp, CVectorExpr _pStatePred, CVectorExpr _cStatePred, CTLNode _prop, java.util.Map _predMap)
           
BackEndGenerator(PProgram _pProgram, PrllAsmtPStmt _stmt, PredicateRefiner _refiner, WPComputer _wp, CVectorExpr _pStatePred, CVectorExpr _cStatePred)
           
BasePredicateGenerator(PProgram _pProgram, PrllAsmtPStmt _stmt, PredicateRefiner _refiner, WPComputer _wp, CVectorExpr _pStatePred, CVectorExpr _cStatePred)
          This constructor of PredicateGenerator is almost the same as the one above, the only difference is the last two premeters.
WPPredicateGenerator.WPDiff(PProgram p, PrllAsmtPStmt _stmt, PredicateRefiner _refiner, WPComputer _wp, CVectorExpr _pStatePred, CVectorExpr _cStatePred)
           
WPPredicateGenerator.WPSame(PProgram p, PrllAsmtPStmt _stmt, PredicateRefiner _refiner, WPComputer _wp, CVectorExpr _pStatePred, CVectorExpr _cStatePred)
           
WPPredicateGenerator(PProgram p, PrllAsmtPStmt _stmt, PredicateRefiner _refiner, WPComputer _wp, CVectorExpr _pStatePred, CVectorExpr _cStatePred)
           
 

Uses of WPComputer in edu.toronto.cs.yasm.pprogram
 

Methods in edu.toronto.cs.yasm.pprogram that return WPComputer
 WPComputer FunctionCallEpilogue.getWPComputer()
           
 WPComputer FunctionCallPrologue.getWPComputer()
           
 WPComputer PrllAsmtPStmt.getWPComputer()
           
 WPComputer ReturnPStmt.getWPComputer()
           
 

Uses of WPComputer in edu.toronto.cs.yasm.wp
 

Classes in edu.toronto.cs.yasm.wp that implement WPComputer
 class BaseWPComputer
           
 class DCWPComputer
          Dependent (sequential) composition WP Computer.
 class ExprWPComputer
           
 class MemoryModelWPComputer
           
 class UnknownExprWPComputer
           
 

Fields in edu.toronto.cs.yasm.wp declared as WPComputer
static WPComputer ExprWPComputer.ID
           
 

Methods in edu.toronto.cs.yasm.wp that return WPComputer
static WPComputer WPComputerFactory.id()
           
static WPComputer WPComputerFactory.prllAsmt(Expr lhs, Expr rhs)
           
static WPComputer WPComputerFactory.unknown(Expr e)
           
static WPComputer WPComputerFactory.wp(Expr e)