1 // for the File System benchmark
8 class DefGuidance2:public Guidance {
9 /* This class tells the analysis stuff */
11 1. Source for atoms if the set is too small - can be another set or function call (assumed to be no set)
12 2. Source for atoms if relation requires atom of this set - can be another set or function call (assumed to be no set)
13 3. Removal from set - where to insert objects from this set
14 4. Insertion into set - which subset to put objects in
17 DefGuidance2(model *m);
18 Source sourceforsetsize(char *set);
19 Source sourceforrelation(char *set);
20 char * removefromset(char * set);
21 char * insertiontoset(char *set);
26 Element * allocatebytes2(structure * st, model *m);