edu.toronto.cs.yasm.pgenerator
Class AIntellegence

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

public class AIntellegence
extends BasePredicateGenerator


Field Summary
protected  java.util.Map predMap
           
protected  CTLNode prop
          This is the property that we are asking about the whole program
 
Fields inherited from class edu.toronto.cs.yasm.pgenerator.BasePredicateGenerator
cStatePred, cvclConverter, existingPred, newPreds, pProgram, pStatePred, stmt, vc, wp
 
Constructor Summary
AIntellegence(PProgram p, PrllAsmtPStmt _stmt, PredicateRefiner _refiner, WPComputer _wp, CVectorExpr _pStatePred, CVectorExpr _cStatePred, CTLNode _prop, java.util.Map _predMap)
           
 
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
protected  java.util.List inducePred(int options)
           
 
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
 

Field Detail

prop

protected CTLNode prop
This is the property that we are asking about the whole program


predMap

protected java.util.Map predMap
Constructor Detail

AIntellegence

public AIntellegence(PProgram p,
                     PrllAsmtPStmt _stmt,
                     PredicateRefiner _refiner,
                     WPComputer _wp,
                     CVectorExpr _pStatePred,
                     CVectorExpr _cStatePred,
                     CTLNode _prop,
                     java.util.Map _predMap)
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

inducePred

protected java.util.List inducePred(int options)