|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
Interface Summary | |
---|---|
PredicateGenerator |
Class Summary | |
---|---|
AIntellegence | |
BackEndGenerator | |
BasePredicateGenerator | |
ChainPredicateGenerator | A predicate generator that chains other predicate generators |
InconsistentDestinationGenerator | |
WPPredicateGenerator | Generates predicates based on the weakest pre-condition of existing predicates This class solely handles the part that generates new predicate(s) Call the constructor Function to initiate. |
WPPredicateGenerator.WPDiff | |
WPPredicateGenerator.WPSame |
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |