|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.toronto.cs.yasm.abstractor.PredicateRefiner
edu.toronto.cs.yasm.abstractor.CBJPredicateRefiner
public class CBJPredicateRefiner
Nested Class Summary | |
---|---|
class |
CBJPredicateRefiner.CBJRefinerInfo
|
Field Summary |
---|
Fields inherited from class edu.toronto.cs.yasm.abstractor.PredicateRefiner |
---|
stats |
Constructor Summary | |
---|---|
CBJPredicateRefiner(ExprFactory _fac)
|
|
CBJPredicateRefiner(ExprFactory _fac,
boolean _doInconsitent,
boolean _doSearch)
doInconsitent -- if true compute inconsistent cubes doSearch -- if true do abstraction search |
Method Summary | |
---|---|
PrllAsmtPStmt |
doAsmtRefine(PrllAsmtPStmt asmt)
|
PProgram |
doProgramRefine(PProgram p)
|
CVCLMemoryModel |
getMemoryModel(PrllAsmtPStmt asmt)
|
MemoryModel |
getRegularMemoryModel(PrllAsmtPStmt asmt)
|
WPComputer |
getWPComputer(PrllAsmtPStmt astmt)
|
Methods inherited from class edu.toronto.cs.yasm.abstractor.PredicateRefiner |
---|
addPredicate, addPredicates, addToNewPredicates, addToNewPredicates, computeDependency, computeMemoryModel, computeRegularMemoryModel, contains, doCondRefine, doDeclRefine, doDeclsRefine, doFunctionCallRefine, doFunctionDeclsRefine, doFunctionRefine, doGotoRefine, doIfRefine, doInsideFunctionRefine, doNDGotoRefine, doReturnSelectorRefine, doSkipRefine, findVars, getCVCLConverter, getNewPredicates, getPredicates, getVC, hasNewPredicates, knownCond, readPredicates |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public CBJPredicateRefiner(ExprFactory _fac)
public CBJPredicateRefiner(ExprFactory _fac, boolean _doInconsitent, boolean _doSearch)
_fac
- an ExprFactory
value_doInconsitent
- a boolean
value_doSearch
- a boolean
valueMethod Detail |
---|
public PProgram doProgramRefine(PProgram p)
doProgramRefine
in interface Refiner
doProgramRefine
in class PredicateRefiner
public MemoryModel getRegularMemoryModel(PrllAsmtPStmt asmt)
public CVCLMemoryModel getMemoryModel(PrllAsmtPStmt asmt)
getMemoryModel
in class PredicateRefiner
public WPComputer getWPComputer(PrllAsmtPStmt astmt)
getWPComputer
in class PredicateRefiner
public PrllAsmtPStmt doAsmtRefine(PrllAsmtPStmt asmt)
doAsmtRefine
in class PredicateRefiner
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |