|
||||||||||
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.BranchPredicateRefiner
public class BranchPredicateRefiner
LadderPredicateRefiner.java Created: Wed Jul 7 11:27:19 2004
Nested Class Summary | |
---|---|
class |
BranchPredicateRefiner.BranchRefinerInfo
|
Field Summary |
---|
Fields inherited from class edu.toronto.cs.yasm.abstractor.PredicateRefiner |
---|
stats |
Constructor Summary | |
---|---|
BranchPredicateRefiner(ExprFactory _fac)
|
|
BranchPredicateRefiner(ExprFactory _fac,
java.util.List _newPredicates)
|
Method Summary | |
---|---|
PrllAsmtPStmt |
doAsmtRefine(PrllAsmtPStmt asmt)
|
CVCLMemoryModel |
getMemoryModel(PrllAsmtPStmt asmt)
|
MemoryModel |
getRegularMemoryModel(PrllAsmtPStmt asmt)
|
WPComputer |
getWPComputer(PrllAsmtPStmt asmt)
|
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, doProgramRefine, 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 BranchPredicateRefiner(ExprFactory _fac)
public BranchPredicateRefiner(ExprFactory _fac, java.util.List _newPredicates)
Method Detail |
---|
public MemoryModel getRegularMemoryModel(PrllAsmtPStmt asmt)
public CVCLMemoryModel getMemoryModel(PrllAsmtPStmt asmt)
getMemoryModel
in class PredicateRefiner
public WPComputer getWPComputer(PrllAsmtPStmt asmt)
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 |