skip backtracking rspaces with no alternatives left

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

diff --git a/fragment.output/btdemo b/fragment.output/btdemo
index c75951e..f42caa6 100644 (file)
--- a/fragment.output/btdemo
+++ b/fragment.output/btdemo
@@ -244,13 +244,6 @@ recheck eq ?X {{ a 1 b 2 c 3 }} {
 }
 backtrack
 remaining resolution_space {
-    proposition member_at Y ?YKey ?YValue
-    geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
-    aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
-    members {  }
-}
-backtrack
-remaining resolution_space {
     proposition member_at X ?XKey ?XValue
     geometry_depends_on { INDICES_OF 0.X; TYPE_OF 0.XKey; TYPE_OF 0.XValue }
     aperture { VALUE_SET 0.XKey; VALUE_SET 0.XValue }
@@ -340,13 +333,6 @@ recheck eq ?Y {{ d 1 e 2 f 3 }} {
 }
 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
-remaining resolution_space {
     proposition member_at Y ?YKey ?YValue
     geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
     aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
@@ -448,20 +434,6 @@ recheck eq ?Y {{ d 1 e 2 f 3 }} {
 }
 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
-remaining resolution_space {
-    proposition member_at Y ?YKey ?YValue
-    geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
-    aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
-    members {  }
-}
-backtrack
-remaining resolution_space {
     proposition member_at X ?XKey ?XValue
     geometry_depends_on { INDICES_OF 0.X; TYPE_OF 0.XKey; TYPE_OF 0.XValue }
     aperture { VALUE_SET 0.XKey; VALUE_SET 0.XValue }
@@ -650,34 +622,6 @@ recheck eq ?X {{ a 1 b 2 c 3 }} {
     fail_recheck
 }
 backtrack
-remaining resolution_space {
-    proposition member_at Y ?YKey ?YValue
-    geometry_depends_on { INDICES_OF 0.Y; TYPE_OF 0.YKey; TYPE_OF 0.YValue }
-    aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
-    members {  }
-}
-backtrack
-remaining resolution_space {
-    proposition member_at X ?XKey ?XValue
-    geometry_depends_on { INDICES_OF 0.X; TYPE_OF 0.XKey; TYPE_OF 0.XValue }
-    aperture { VALUE_SET 0.XKey; VALUE_SET 0.XValue }
-    members {  }
-}
-backtrack
-remaining resolution_space {
-    proposition eq ?Y {{ d 1 e 2 f 3 }}
-    geometry_depends_on { CONTENTS_OF 0.Y }
-    aperture { VALUE_SET 0.Y }
-    members {  }
-}
-backtrack
-remaining resolution_space {
-    proposition eq ?X {{ a 1 b 2 c 3 }}
-    geometry_depends_on { CONTENTS_OF 0.X }
-    aperture { VALUE_SET 0.X }
-    members {  }
-}
-backtrack
 {{
     X {{ a 1 b 2 c 3 }}
     XKey 'b'