edu.toronto.cs.yasm.abstractor
Class CBJPredicateRefiner

java.lang.Object
  extended by edu.toronto.cs.yasm.abstractor.PredicateRefiner
      extended by edu.toronto.cs.yasm.abstractor.CBJPredicateRefiner
All Implemented Interfaces:
Refiner

public class CBJPredicateRefiner
extends PredicateRefiner


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

CBJPredicateRefiner

public CBJPredicateRefiner(ExprFactory _fac)

CBJPredicateRefiner

public CBJPredicateRefiner(ExprFactory _fac,
                           boolean _doInconsitent,
                           boolean _doSearch)
doInconsitent -- if true compute inconsistent cubes doSearch -- if true do abstraction search

Parameters:
_fac - an ExprFactory value
_doInconsitent - a boolean value
_doSearch - a boolean value
Method Detail

doProgramRefine

public PProgram doProgramRefine(PProgram p)
Specified by:
doProgramRefine in interface Refiner
Overrides:
doProgramRefine in class PredicateRefiner

getRegularMemoryModel

public MemoryModel getRegularMemoryModel(PrllAsmtPStmt asmt)

getMemoryModel

public CVCLMemoryModel getMemoryModel(PrllAsmtPStmt asmt)
Overrides:
getMemoryModel in class PredicateRefiner

getWPComputer

public WPComputer getWPComputer(PrllAsmtPStmt astmt)
Overrides:
getWPComputer in class PredicateRefiner

doAsmtRefine

public PrllAsmtPStmt doAsmtRefine(PrllAsmtPStmt asmt)
Overrides:
doAsmtRefine in class PredicateRefiner