Repair/RepairInterpreter/Guidance.h

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