edu.toronto.cs.yasm.pgenerator
Interface PredicateGenerator

All Known Implementing Classes:
AIntellegence, BackEndGenerator, BasePredicateGenerator, ChainPredicateGenerator, InconsistentDestinationGenerator, WPPredicateGenerator, WPPredicateGenerator.WPDiff, WPPredicateGenerator.WPSame

public interface PredicateGenerator


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
 java.util.List getNewPreds()
          returns a list of new predicates found
 

Method Detail

find

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

Returns:
a boolean value

getNewPreds

java.util.List getNewPreds()
returns a list of new predicates found

Returns:
a List value