X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=blobdiff_plain;f=fragment.output%2Fbtdemo;h=c75951e97068556abd4f590823f299cc04966654;hb=d6b0c811a7afc5fc2ca97f72ed1ab37b5c117e25;hp=0ed40201ea1fc8ae4e7b30a60fa6cb70e4648f88;hpb=8cf755df2debdf733f2cc0797cd0aa3dd733f7af;p=scpubgit%2FDX.git

diff --git a/fragment.output/btdemo b/fragment.output/btdemo
index 0ed4020..c75951e 100644
--- a/fragment.output/btdemo
+++ b/fragment.output/btdemo
@@ -127,24 +127,10 @@ recheck eq ?X {{ a 1 b 2 c 3 }} {
         depends_on { CONTENTS_OF 0.X }
     }
     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
     fail_recheck
 }
 backtrack
 remaining resolution_space {
-    proposition eq XValue 2
-    geometry_depends_on { CONTENTS_OF 0.XValue }
-    aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.a }
-    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 }
@@ -199,24 +185,10 @@ recheck eq ?X {{ a 1 b 2 c 3 }} {
         depends_on { CONTENTS_OF 0.X }
     }
     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
     fail_recheck
 }
 backtrack
 remaining resolution_space {
-    proposition eq XValue 2
-    geometry_depends_on { CONTENTS_OF 0.XValue }
-    aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.a }
-    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 }
@@ -268,24 +240,10 @@ recheck eq ?X {{ a 1 b 2 c 3 }} {
         depends_on { CONTENTS_OF 0.X }
     }
     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
     fail_recheck
 }
 backtrack
 remaining resolution_space {
-    proposition eq XValue 2
-    geometry_depends_on { CONTENTS_OF 0.XValue }
-    aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.a }
-    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 }
@@ -378,24 +336,10 @@ recheck eq ?Y {{ d 1 e 2 f 3 }} {
         depends_on { CONTENTS_OF 0.Y }
     }
     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
     fail_recheck
 }
 backtrack
 remaining resolution_space {
-    proposition eq YValue 2
-    geometry_depends_on { CONTENTS_OF 0.YValue }
-    aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.d }
-    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 }
@@ -500,24 +444,10 @@ recheck eq ?Y {{ d 1 e 2 f 3 }} {
         depends_on { CONTENTS_OF 0.Y }
     }
     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
     fail_recheck
 }
 backtrack
 remaining resolution_space {
-    proposition eq YValue 2
-    geometry_depends_on { CONTENTS_OF 0.YValue }
-    aperture { VALUE_SET 0.YValue; VALUE_SET 0.Y.f }
-    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 }
@@ -604,24 +534,10 @@ recheck eq ?X {{ a 1 b 2 c 3 }} {
         depends_on { CONTENTS_OF 0.X }
     }
     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
     fail_recheck
 }
 backtrack
 remaining resolution_space {
-    proposition eq XValue 2
-    geometry_depends_on { CONTENTS_OF 0.XValue }
-    aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.c }
-    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 }
@@ -676,24 +592,10 @@ recheck eq ?X {{ a 1 b 2 c 3 }} {
         depends_on { CONTENTS_OF 0.X }
     }
     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
     fail_recheck
 }
 backtrack
 remaining resolution_space {
-    proposition eq XValue 2
-    geometry_depends_on { CONTENTS_OF 0.XValue }
-    aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.c }
-    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 }
@@ -745,24 +647,10 @@ recheck eq ?X {{ a 1 b 2 c 3 }} {
         depends_on { CONTENTS_OF 0.X }
     }
     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
     fail_recheck
 }
 backtrack
 remaining resolution_space {
-    proposition eq XValue 2
-    geometry_depends_on { CONTENTS_OF 0.XValue }
-    aperture { VALUE_SET 0.XValue; VALUE_SET 0.X.c }
-    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 }