github issue #31

src/main/java/org/jacop/constraints/ExtensionalConflictVA.java

@@ -88,6 +88,8 @@ public class ExtensionalConflictVA extends Constraint implements UsesQueueVariab
 
     public IntVar[] list;
 
+    private boolean satisfiedAlreadyAtImposition = false;
+
     /**
      * Partial constructor which stores variables involved in a constraint but
      * does not get information about tuples yet. The tuples must set separately.
@@ -360,6 +362,10 @@ public int seekInvalidPosition(int[] t) {
         if (debugAll)
             System.out.println("Begin " + this);
 
+        if (satisfiedAlreadyAtImposition) {
+            return;
+        }
+
         boolean pruned = true;
 
         while (pruned) {
@@ -615,6 +621,10 @@ protected int findPosition(int value, int[] values) {
 
         }
 
+        if (tuplesFromConstructor.length == 0) {
+            satisfiedAlreadyAtImposition = true;
+        }
+
         tuplesFromConstructor = null;
 
         store.raiseLevelBeforeConsistency = true;

src/test/java/org/jacop/ConstraintStatusKnownAtImposition.java

@@ -0,0 +1,56 @@
+package org.jacop;
+
+import org.jacop.constraints.ExtensionalConflictVA;
+import org.jacop.constraints.knapsack.Knapsack;
+import org.jacop.core.IntVar;
+import org.jacop.core.Store;
+import org.junit.Test;
+
+public class ConstraintStatusKnownAtImposition {
+
+    @Test
+    public void testSimpleFailSetupAtImpositionKnapsack() {
+
+        Store store = new Store();
+
+        IntVar v0 = new IntVar(store, "v0", 1, 1);
+        IntVar v1 = new IntVar(store, "v1", 0, 0);
+        IntVar v2 = new IntVar(store, "v2", 1, 1);
+        IntVar v3 = new IntVar(store, "v3", 0, 0);
+        IntVar v4 = new IntVar(store, "v4", 0, 0);
+
+        Knapsack cons = new Knapsack(
+                new int[]{1, 2, 3},
+                new int[]{1, 2, 3},
+                new IntVar[]{v1, v2, v3},
+                v4,
+                v0);
+
+        store.impose(cons);
+
+    }
+
+    @Test
+    public void testSimpleAlreadySatisfiedSetupAtImpositionConflictVA() {
+            Store store = new Store ();
+
+            IntVar v1 = new IntVar (store, "v1", 0, 0);
+            IntVar v2 = new IntVar (store, "v2", 1, 1);
+
+            ExtensionalConflictVA cons = new ExtensionalConflictVA (
+                    new IntVar[] { v1, v2 },
+                    new int[][] {
+                            new int[] {0, 0},  new int[] {1, 1}
+                    }
+            );
+
+            store.impose(cons);
+
+            System.out.println(cons);
+            System.out.println(store);
+
+            store.consistency();
+    }
+
+
+}