Moved the interpreter

[repair.git] / Repair / RepairInterpreter / DefaultGuidance3.cc

diff --git a/Repair/RepairInterpreter/DefaultGuidance3.cc b/Repair/RepairInterpreter/DefaultGuidance3.cc
new file mode 100755 (executable)
index 0000000..bf0b57b
--- /dev/null
+++ b/Repair/RepairInterpreter/DefaultGuidance3.cc
@@ -0,0 +1,84 @@
+#include <stdlib.h>
+#include "DefaultGuidance3.h"
+#include "model.h"
+#include "dmodel.h"
+#include "tmodel.h"
+#include "element.h"
+#include "common.h"
+  /* This class tells the analysis stuff */
+  /* For each set:
+     1. Source for atoms if the set is too small - can be another set or function call (assumed to be no set)
+     2. Source for atoms if relation requires atom of this set - can be another set or function call (assumed to be no set)
+     3. Removal from set - where to insert objects from this set
+     4. Insertion into set - which subset to put objects in  */
+
+DefGuidance3::DefGuidance3(model *m) {
+  globalmodel=m;
+}
+
+Source DefGuidance3::sourceforsetsize(char *set) {
+  DomainRelation *dr=globalmodel->getdomainrelation();
+  DomainSet *ds=dr->getset(set);
+  while(dr->getsuperset(ds)!=NULL)
+    ds=dr->getsuperset(ds);
+  if(equivalentstrings(ds->getname(),"blocks"))
+     return Source(copystr("freeblocks"));
+}
+
+Source DefGuidance3::sourceforrelation(char *set) {
+  DomainRelation *dr=globalmodel->getdomainrelation();
+  DomainSet *ds=dr->getset(set);
+  while(dr->getsuperset(ds)!=NULL)
+    ds=dr->getsuperset(ds);
+  if(equivalentstrings(ds->getname(),"blocks"))
+     return Source(copystr("freeblocks"));
+  return Source(set);
+}
+
+char * DefGuidance3::removefromset(char * set) {
+  DomainRelation *dr=globalmodel->getdomainrelation();
+  DomainSet *ds=dr->getset(set);
+  if (equivalentstrings(set,"token"))
+    return NULL;
+
+  if (equivalentstrings(dr->getsuperset(ds)->getname(),"fatblocks"))
+    return "freeblocks";
+  if (equivalentstrings(dr->getsuperset(ds)->getname(),"usedblocks"))
+    return "freeblocks";
+
+  DomainSet *ss=dr->getsuperset(ds);
+  while(ss!=NULL&&ss->gettype()==DOMAINSET_PARTITION) {
+    for(int i=0;i<ss->getnumsubsets();i++) {
+      char *name=ss->getsubset(i);
+      if (!equivalentstrings(ds->getname(),name)&&
+         !equivalentstrings(ds->getname(),name)) {
+       /* Do search */
+       ss=dr->getset(name);
+       while(ss->gettype()==DOMAINSET_PARTITION) {
+         char *name=ss->getsubset(0);
+         ss=dr->getset(name);
+       }
+       return ss->getname();
+      }
+    }
+    ds=ss;
+    ss=dr->getsuperset(ss);
+  }
+  if (ss!=NULL)
+    return ss->getname();
+  else
+    return NULL;
+}
+
+char * DefGuidance3::insertiontoset(char *set) {
+  if (equivalentstrings(set,"token"))
+    return NULL;
+  
+  DomainRelation *dr=globalmodel->getdomainrelation();
+  DomainSet *ds=dr->getset(set);
+  while (ds->gettype()==DOMAINSET_PARTITION) {
+    ds=dr->getset(ds->getsubset(0));
+    /* have to look for subset; */
+  }
+  return ds->getname();
+}