Repair/RepairInterpreter/DefaultGuidance3.h

   1 #ifndef DefGuidance3_h
   2 #define DefGuidance3_h
   3 #include "classlist.h"
   4 #include "Guidance.h"
   5
   6 class DefGuidance3:public Guidance {
   7   /* This class tells the analysis stuff */
   8   /* For each set:
   9      1. Source for atoms if the set is too small - can be another set or function call (assumed to be no set)
  10      2. Source for atoms if relation requires atom of this set - can be another set or function call (assumed to be no set)
  11      3. Removal from set - where to insert objects from this set
  12      4. Insertion into set - which subset to put objects in
  13   */
  14  public:
  15   DefGuidance3(model *m);
  16   Source sourceforsetsize(char *set);
  17   Source sourceforrelation(char *set);
  18   char * removefromset(char * set);
  19   char * insertiontoset(char *set);
  20  private:
  21   model * globalmodel;
  22 };
  23
  24 #endif