Permalink
Browse files

[VRG]

- added even more assertions to the knowledge base.
(now the whole test suite is passing! no SKIP'd tests!)

git-svn-id: http://svn.berlios.de/svnroot/repos/unisimu/VRG@848 625e195c-0704-0410-94f2-f261ee9f2fe7
  • Loading branch information...
1 parent 24eca57 commit 2cda529422a350dfdb3ebb1dc954479394170c94 agent committed Nov 10, 2006
Showing with 30 additions and 2 deletions.
  1. +4 −1 knowledge/anti-vectorize.xclp
  2. +1 −0 knowledge/vector-eval.xclp
  3. +25 −1 t/contradict.t
@@ -33,6 +33,9 @@ module AntiVectorize.
?alpha <?R> ?beta => ?alpha [?R] ?beta.
/* assertions */
-/* \?l, #?alpha, ?l [on] ?alpha, ?l [~on] ?alpha => contradiction(?l, ?alpha). */
+\?l, #?alpha, ?l [on] ?alpha, ?l [~on] ?alpha => contradiction(?l, ?alpha).
+\?l, #?alpha, ?l [on] ?alpha, ?l [//] ?alpha => contradiction(?l, ?alpha).
+\?l, #?alpha, ?l [on] ?alpha, ?l [T] ?alpha => contradiction(?l, ?alpha).
+\?l, #?alpha, ?l [on] ?alpha, ?l [X] ?alpha => contradiction(?l, ?alpha).
contradiction(?, ?) => halt().
@@ -23,5 +23,6 @@ include "vrg-sugar.xclp".
/* assertions */
?a <//> ?b, ?a <~//> ?b => contradiction(?a, ?b).
?a <T> ?b, ?a <~T> ?b => contradiction(?a, ?b).
+?a <T> ?b, ?a <X> ?b => contradiction(?a, ?b).
?a <X> ?b, ?a <~X> ?b => contradiction(?a, ?b).
contradiction(?, ?) => halt().
View
@@ -41,4 +41,28 @@ l on alpha, l // alpha => l // alpha
--- ans
Contradiction detected. (Check the relationships between l and alpha.)
---- SKIP
+
+
+
+=== TEST 4:
+--- vrg
+
+plane a, b;
+
+a T b, a // b => a T b
+
+--- ans
+Contradiction detected. (Check the relationships between a and b.)
+
+
+
+=== TEST 5:
+--- vrg
+
+line l;
+plane alpha;
+
+l // alpha, l X alpha => l // alpha
+
+--- ans
+Contradiction detected. (Check the relationships between l and alpha.)

0 comments on commit 2cda529

Please sign in to comment.