edu.toronto.cs.yasm.pgenerator
Class BackEndGenerator

java.lang.Object
  extended by edu.toronto.cs.yasm.pgenerator.BasePredicateGenerator
      extended by edu.toronto.cs.yasm.pgenerator.BackEndGenerator
All Implemented Interfaces:
PredicateGenerator

public class BackEndGenerator
extends BasePredicateGenerator


Field Summary
 
Fields inherited from class edu.toronto.cs.yasm.pgenerator.BasePredicateGenerator
cStatePred, cvclConverter, existingPred, newPreds, pProgram, pStatePred, stmt, vc, wp
 
Constructor Summary
BackEndGenerator(PProgram _pProgram, PrllAsmtPStmt _stmt, PredicateRefiner _refiner, WPComputer _wp, CVectorExpr _pStatePred, CVectorExpr _cStatePred)
           
 
Method Summary
 boolean __find()
           
 void backEndRefine()
           
 boolean find()
          runs the predicate generator and returns true if anything has changed like new predicates are added or the abstraction of the program has changed
 java.util.List getNewPreds()
          returns a list of new predicates found
 
Methods inherited from class edu.toronto.cs.yasm.pgenerator.BasePredicateGenerator
computeWP, getPProgram, hasPredicate
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

BackEndGenerator

public BackEndGenerator(PProgram _pProgram,
                        PrllAsmtPStmt _stmt,
                        PredicateRefiner _refiner,
                        WPComputer _wp,
                        CVectorExpr _pStatePred,
                        CVectorExpr _cStatePred)
Method Detail

find

public boolean find()
Description copied from interface: PredicateGenerator
runs the predicate generator and returns true if anything has changed like new predicates are added or the abstraction of the program has changed

Returns:
a boolean value

__find

public boolean __find()

getNewPreds

public java.util.List getNewPreds()
Description copied from interface: PredicateGenerator
returns a list of new predicates found

Specified by:
getNewPreds in interface PredicateGenerator
Overrides:
getNewPreds in class BasePredicateGenerator
Returns:
a List value

backEndRefine

public void backEndRefine()