#main: added linear exploration and persistance from experiments bran…

…ch (Morteza)

sxpat/xplore.py

@@ -41,19 +41,40 @@ def explore_grid(specs_obj: Specifications):
 
     obtained_wce_exact = 0
     specs_obj.iteration = 0
+    persistance = 0
+    persistance_limit = 2
     prev_actual_error = 0 if specs_obj.subxpat else 1
     prev_given_error = 0
 
+    # Morteza added for local experiments ==================
+    if specs_obj.error_partitioning is ErrorPartitioningType.ASCENDING:
+        orig_et = specs_obj.max_error
+        if orig_et <= 8:
+            et_array = iter(list(range(1, orig_et +1, 1)))
+        else:
+            step = orig_et // 8 if orig_et // 8 > 0 else 1
+            et_array = iter(list(range(step, orig_et + step, step)))
+    # Ends here ============================================
+
     while (obtained_wce_exact < specs_obj.max_error):
         specs_obj.iteration += 1
-
         if not specs_obj.subxpat:
             if prev_actual_error == 0:
                 break
             specs_obj.et = specs_obj.max_error
-
         elif specs_obj.error_partitioning is ErrorPartitioningType.ASCENDING:
-            specs_obj.et = 2 ** (specs_obj.iteration - 1)
+            # Morteza added for local experiments ==================
+            if (persistance == persistance_limit or prev_actual_error == 0):
+                persistance = 0
+                try:
+                    specs_obj.et = next(et_array)
+                except StopIteration:
+                    pprint.warning('The error space is exhausted!')
+                    break
+            else:
+                persistance += 1
+            print("persistance is: ",persistance)
+            # Ends here ============================================
         elif specs_obj.error_partitioning is ErrorPartitioningType.DESCENDING:
             log2 = int(math.log2(specs_obj.max_error))
             specs_obj.et = 2 ** (log2 - specs_obj.iteration - 2)