edu.toronto.cs.yasm.abstractor
Class BranchPredicateRefiner

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

public class BranchPredicateRefiner
extends PredicateRefiner

LadderPredicateRefiner.java Created: Wed Jul 7 11:27:19 2004

Version:
1.0
Author:
Xin Ma

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

BranchPredicateRefiner

public BranchPredicateRefiner(ExprFactory _fac)

BranchPredicateRefiner

public BranchPredicateRefiner(ExprFactory _fac,
                              java.util.List _newPredicates)
Method Detail

getRegularMemoryModel

public MemoryModel getRegularMemoryModel(PrllAsmtPStmt asmt)

getMemoryModel

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

getWPComputer

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

doAsmtRefine

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