X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=blobdiff_plain;f=fragment.output%2Fbtdemo;h=681eb967dcee26aa2bb520034ebccdec7839f024;hb=b35f3e3b746ff1a6ab0d1223de3abd1118ce219d;hp=e0a5ff3ee4eafad4299b19f3456ecf0640c198b2;hpb=72304627b100c7e3ff434c7a9d2e057b861fb776;p=scpubgit%2FDX.git

diff --git a/fragment.output/btdemo b/fragment.output/btdemo
index e0a5ff3..681eb96 100644
--- a/fragment.output/btdemo
+++ b/fragment.output/btdemo
@@ -134,9 +134,15 @@ recheck eq ?X {{ a 1 b 2 c 3 }} {
 }
 backtrack {
     failure_dependencies { CONTENTS_OF 0.X; CONTENTS_OF 0.XValue }
-    decision { for member_at Y ?YKey ?YValue }
+    decision {
+        for member_at Y ?YKey ?YValue
+        aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
+    }
     non_relevant
-    decision { for member_at X ?XKey ?XValue }
+    decision {
+        for member_at X ?XKey ?XValue
+        aperture { VALUE_SET 0.XKey; VALUE_SET 0.XValue }
+    }
     found_alternative
 }
 resolve {
@@ -218,9 +224,12 @@ recheck eq ?Y {{ d 1 e 2 f 3 }} {
 }
 backtrack {
     failure_dependencies { CONTENTS_OF 0.Y; CONTENTS_OF 0.YValue }
-    decision { for eq XValue 2 }
+    decision { for eq XValue 2 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b } }
     non_relevant
-    decision { for member_at Y ?YKey ?YValue }
+    decision {
+        for member_at Y ?YKey ?YValue
+        aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
+    }
     found_alternative
 }
 resolve {
@@ -318,23 +327,29 @@ recheck eq ?Y {{ d 1 e 2 f 3 }} {
 }
 backtrack {
     failure_dependencies { CONTENTS_OF 0.Y; CONTENTS_OF 0.YValue }
-    decision { for eq XValue 2 }
+    decision { for eq XValue 2 aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.b } }
     non_relevant
-    decision { for member_at Y ?YKey ?YValue }
+    decision {
+        for member_at Y ?YKey ?YValue
+        aperture { VALUE_SET 0.YKey; VALUE_SET 0.YValue }
+    }
     failure_dependencies {
         CONTENTS_OF 0.Y
         TYPE_OF 0.YKey
         CONTENTS_OF 0.YValue
     }
-    decision { for member_at X ?XKey ?XValue }
+    decision {
+        for member_at X ?XKey ?XValue
+        aperture { VALUE_SET 0.XKey; VALUE_SET 0.XValue }
+    }
     non_relevant
-    decision { for eq ?Y {{ d 1 e 2 f 3 }} }
+    decision { for eq ?Y {{ d 1 e 2 f 3 }} aperture { VALUE_SET 0.Y } }
     failure_dependencies {
         CONTENTS_OF 0.Y
         TYPE_OF 0.YKey
         CONTENTS_OF 0.YValue
     }
-    decision { for eq ?X {{ a 1 b 2 c 3 }} }
+    decision { for eq ?X {{ a 1 b 2 c 3 }} aperture { VALUE_SET 0.X } }
     non_relevant
     exhaustion
 }