Uses of Class
edu.toronto.cs.yasm.pprogram.PProgram

Packages that use PProgram
edu.toronto.cs.yasm.abstractor   
edu.toronto.cs.yasm.pgenerator   
edu.toronto.cs.yasm.pprogram   
edu.toronto.cs.yasm.trace   
 

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

Methods in edu.toronto.cs.yasm.abstractor that return PProgram
 PProgram Abstractor.doProgramAbstract(Block block)
           
 PProgram NullAbstractor.doProgramAbstract(Block programBlock)
           
 PProgram NullExprAbstractor.doProgramAbstract(Expr program)
           
 PProgram NullExprAbstractor.doProgramAbstract(Expr program, int selectorType)
           
 PProgram CBJPredicateRefiner.doProgramRefine(PProgram p)
           
 PProgram CFFCPredicateRefiner.doProgramRefine(PProgram p)
           
 PProgram PredicateRefiner.doProgramRefine(PProgram p)
           
 PProgram Refiner.doProgramRefine(PProgram p)
           
 

Methods in edu.toronto.cs.yasm.abstractor with parameters of type PProgram
 void PredicateRefiner.doDeclsRefine(PProgram p)
           
 PProgram CBJPredicateRefiner.doProgramRefine(PProgram p)
           
 PProgram CFFCPredicateRefiner.doProgramRefine(PProgram p)
           
 PProgram PredicateRefiner.doProgramRefine(PProgram p)
           
 PProgram Refiner.doProgramRefine(PProgram p)
           
 

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

Fields in edu.toronto.cs.yasm.pgenerator declared as PProgram
protected  PProgram BasePredicateGenerator.pProgram
           
 

Methods in edu.toronto.cs.yasm.pgenerator that return PProgram
 PProgram BasePredicateGenerator.getPProgram()
          Describe getPProgram method here.
 

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)
           
 

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

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)
           
 

Methods in edu.toronto.cs.yasm.pprogram with parameters of type PProgram
 void PFunctionDef.setParent(PProgram v)
           
 void PProgramCompiler.setPProgram(PProgram v)
           
 

Constructors in edu.toronto.cs.yasm.pprogram with parameters of type PProgram
PFunctionDef(PProgram _parent, PStmt _head, java.util.Map _localDecls, Block _sourceBlock)
           
PFunctionDef(PProgram _parent, PStmt _head, java.util.Map _localDecls, Expr _sourceExpr)
           
 

Uses of PProgram in edu.toronto.cs.yasm.trace
 

Constructors in edu.toronto.cs.yasm.trace with parameters of type PProgram
TraceGenerator(PProgram _pProgram, XKripkeStructure _xkripke, MvSetModelChecker _xchek, CTLNode prop, MvSet _result, AlgebraValue _value)
          Creates a new TraceGenerator instance.