edu.toronto.cs.yasm.pgenerator
Class InconsistentDestinationGenerator

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

public class InconsistentDestinationGenerator
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
InconsistentDestinationGenerator(PProgram _pProgram, PredicateRefiner _refiner, CVectorExpr _cStatePred)
           
 
Method Summary
 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
 
Methods inherited from class edu.toronto.cs.yasm.pgenerator.BasePredicateGenerator
computeWP, getNewPreds, getPProgram, hasPredicate
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

InconsistentDestinationGenerator

public InconsistentDestinationGenerator(PProgram _pProgram,
                                        PredicateRefiner _refiner,
                                        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