add exhaustionstep and resumesearch concepts

[scpubgit/DX.git] / fragment.output / btdemo

diff --git a/fragment.output/btdemo b/fragment.output/btdemo
index 296324b..0ed4020 100644 (file)
--- a/fragment.output/btdemo
+++ b/fragment.output/btdemo
@@ -18,6 +18,7 @@ resolve {
     actions { SetValue 0.X {{ a 1 b 2 c 3 }} }
     depends_on { CONTENTS_OF 0.X }
 }
+solution
 SetValue 0.X {{ a 1 b 2 c 3 }}
 ? eq ?Y {{ d 1 e 2 f 3 }}
 consider eq ?Y {{ d 1 e 2 f 3 }}
@@ -37,6 +38,7 @@ resolve {
     actions { SetValue 0.Y {{ d 1 e 2 f 3 }} }
     depends_on { CONTENTS_OF 0.Y }
 }
+solution
 SetValue 0.Y {{ d 1 e 2 f 3 }}
 ? member_at X ?XKey ?XValue
 consider member_at X ?XKey ?XValue
@@ -60,6 +62,7 @@ resolve {
     actions { SetValue 0.XKey 'a'; BindValue 0.XValue 0.X.a }
     depends_on { CONTENTS_OF 0.X.a; CONTENTS_OF 0.XKey; CONTENTS_OF 0.XValue }
 }
+solution
 SetValue 0.XKey 'a'
 BindValue 0.XValue 0.X.a
 ? member_at Y ?YKey ?YValue
@@ -84,6 +87,7 @@ resolve {
     actions { SetValue 0.YKey 'd'; BindValue 0.YValue 0.Y.d }
     depends_on { CONTENTS_OF 0.Y.d; CONTENTS_OF 0.YKey; CONTENTS_OF 0.YValue }
 }
+solution
 SetValue 0.YKey 'd'
 BindValue 0.YValue 0.Y.d
 ? eq XValue 2
@@ -336,6 +340,7 @@ resolution_space {
     members { resolution { veracity_depends_on { CONTENTS_OF 0.XValue } } }
 }
 resolve { proposition eq XValue 2; depends_on { CONTENTS_OF 0.XValue } }
+solution
 ? eq YValue 2
 consider eq YValue 2
 resolution_space {
@@ -432,22 +437,9 @@ resolution_space {
     members { resolution { veracity_depends_on { CONTENTS_OF 0.YValue } } }
 }
 resolve { proposition eq YValue 2; depends_on { CONTENTS_OF 0.YValue } }
+solution
 ? ...
-backtrack
-remaining resolution_space {
-    proposition eq YValue 2
-    geometry_depends_on { CONTENTS_OF 0.YValue }
-    aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.e }
-    members {  }
-}
-backtrack
-remaining resolution_space {
-    proposition eq XValue 2
-    geometry_depends_on { CONTENTS_OF 0.XValue }
-    aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b }
-    members {  }
-}
-backtrack
+resume
 remaining resolution_space {
     proposition member_at Y ?YKey ?YValue
     geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }