Package edu.toronto.cs.yasm.pgenerator

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