edu.toronto.cs.yasm.abstractor
Class CFFCPredicateRefiner

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

public class CFFCPredicateRefiner
extends PredicateRefiner


Nested Class Summary
 class CFFCPredicateRefiner.CFFCRefinerInfo
           
 
Field Summary
 
Fields inherited from class edu.toronto.cs.yasm.abstractor.PredicateRefiner
stats
 
Constructor Summary
CFFCPredicateRefiner(ExprFactory _fac)
           
CFFCPredicateRefiner(ExprFactory _fac, boolean _doInconsistent, boolean _doSearch)
           
CFFCPredicateRefiner(ExprFactory _fac, boolean _doInconsistent, boolean _doSearch, boolean _dependentPredicate)
          doInconsistent -- if true compute inconsistent cubes doSearch -- if true do abstraction search
 
Method Summary
 java.util.Map computeDependency(PrllAsmtPStmt astmt)
           
 PrllAsmtPStmt doAsmtRefine(PrllAsmtPStmt asmt)
           
 PProgram doProgramRefine(PProgram p)
           
 java.util.Map getDependencyMap(PrllAsmtPStmt astmt)
           
 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

CFFCPredicateRefiner

public CFFCPredicateRefiner(ExprFactory _fac,
                            boolean _doInconsistent,
                            boolean _doSearch,
                            boolean _dependentPredicate)
doInconsistent -- if true compute inconsistent cubes doSearch -- if true do abstraction search

Parameters:
_fac - an ExprFactory value
_doInconsistent - a boolean value
_doSearch - a boolean value

CFFCPredicateRefiner

public CFFCPredicateRefiner(ExprFactory _fac)

CFFCPredicateRefiner

public CFFCPredicateRefiner(ExprFactory _fac,
                            boolean _doInconsistent,
                            boolean _doSearch)
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

getDependencyMap

public java.util.Map getDependencyMap(PrllAsmtPStmt astmt)

computeDependency

public java.util.Map computeDependency(PrllAsmtPStmt astmt)

doAsmtRefine

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