format aperture in backtrack trace

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

diff --git a/fragment.output/btdemo b/fragment.output/btdemo
index e0a5ff3..681eb96 100644 (file)
--- 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
 }