X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=blobdiff_plain;f=fragment.output%2Fbtdemo;h=f42caa60a2523286f1ff1d92ed0f7c623c550d0c;hb=b63c427e5f7bf56fce5308a970a7402a4d62e0d4;hp=c75951e97068556abd4f590823f299cc04966654;hpb=4e1bf3a624d222f2f8ffd196c1f8db577e1f2ca9;p=scpubgit%2FDX.git

diff --git a/fragment.output/btdemo b/fragment.output/btdemo
index c75951e..f42caa6 100644
--- 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'