[jboss-svn-commits] JBL Code SVN: r33727 - labs/jbossrules/trunk/drools-verifier/src/main/resources/org/drools/verifier/opposites.

[jboss-svn-commits at lists.jboss.org]

Author: Rikkola
Date: 2010-07-02 06:49:38 -0400 (Fri, 02 Jul 2010)
New Revision: 33727

Modified:
   labs/jbossrules/trunk/drools-verifier/src/main/resources/org/drools/verifier/opposites/Restrictions.drl
Log:
Bug fix. Verifier was thinking ( x > 10, <= 20 ) is impossible to satisfy

Modified: labs/jbossrules/trunk/drools-verifier/src/main/resources/org/drools/verifier/opposites/Restrictions.drl
===================================================================
--- labs/jbossrules/trunk/drools-verifier/src/main/resources/org/drools/verifier/opposites/Restrictions.drl	2010-07-02 09:44:17 UTC (rev 33726)
+++ labs/jbossrules/trunk/drools-verifier/src/main/resources/org/drools/verifier/opposites/Restrictions.drl	2010-07-02 10:49:38 UTC (rev 33727)
@@ -41,7 +41,7 @@
 			path != $left.path,
 			# Operator needs to be reversed to what the other one has.
 			eval( operator == MissingRange.getReversedOperator( $left.getOperator() )),
-			valueAsString == valueAsString
+			valueAsString == $left.valueAsString
 		)
 
 		# Check that there is not already a pair with these values.
@@ -54,6 +54,7 @@
 			left == $right 
 		)
 	then
+		System.out.println( $left + " " + $right );
 		insert( new Opposites( $left, $right ));
 end