6 class DefGuidance3:public Guidance {
7 /* This class tells the analysis stuff */
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
15 DefGuidance3(model *m);
16 Source sourceforsetsize(char *set);
17 Source sourceforrelation(char *set);
18 char * removefromset(char * set);
19 char * insertiontoset(char *set);