edu.toronto.cs.yasm.pgenerator
Class AIntellegence
java.lang.Object
edu.toronto.cs.yasm.pgenerator.BasePredicateGenerator
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 |
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 java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
prop
protected CTLNode prop
- This is the property that we are asking about the whole program
predMap
protected java.util.Map predMap
AIntellegence
public AIntellegence(PProgram p,
PrllAsmtPStmt _stmt,
PredicateRefiner _refiner,
WPComputer _wp,
CVectorExpr _pStatePred,
CVectorExpr _cStatePred,
CTLNode _prop,
java.util.Map _predMap)
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)