edu.toronto.cs.yasm.abstractor
Class LadderPredicateRefiner

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

public class LadderPredicateRefiner
extends PredicateRefiner

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

Version:
1.0
Author:
Xin Ma

Nested Class Summary
 class LadderPredicateRefiner.LadderRefinerInfo
           
 
Field Summary
 
Fields inherited from class edu.toronto.cs.yasm.abstractor.PredicateRefiner
stats
 
Constructor Summary
LadderPredicateRefiner(ExprFactory _fac)
           
LadderPredicateRefiner(ExprFactory _fac, java.util.List _newPredicates)
           
 
Method Summary
 PrllAsmtPStmt doAsmtRefine(PrllAsmtPStmt asmt)
           
 CVCLMemoryModel getMemoryModel(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

LadderPredicateRefiner

public LadderPredicateRefiner(ExprFactory _fac)

LadderPredicateRefiner

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

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