Constructors in edu.toronto.cs.yasm.pgenerator with parameters of type PProgram |
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. |
InconsistentDestinationGenerator(PProgram _pProgram,
PredicateRefiner _refiner,
CVectorExpr _cStatePred)
|
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)
|
Methods in edu.toronto.cs.yasm.pprogram that return PProgram |
static PProgram |
PProgram.__parse(NullAbstractor abstractor,
java.io.File file)
|
static PProgram |
PProgram.__parse(NullAbstractor abstractor,
java.io.Reader in)
|
static PProgram |
PProgram.__parse(NullAbstractor abstractor,
java.lang.String fileName)
|
PProgram |
PFunctionDef.getParent()
|
PProgram |
PStmt.getPProgram()
|
static PProgram |
PProgram.parse(NullExprAbstractor abstractor,
java.io.File file)
|
static PProgram |
PProgram.parse(NullExprAbstractor abstractor,
java.io.File file,
int selectorType)
|
static PProgram |
PProgram.parse(NullExprAbstractor abstractor,
java.io.File file,
int selectorType,
boolean stmtBlocking)
|
static PProgram |
PProgram.parse(NullExprAbstractor abstractor,
java.io.Reader in,
int selectorType,
boolean stmtBlocking)
|
static PProgram |
PProgram.parse(NullExprAbstractor abstractor,
java.lang.String fileName)
|