Correctly unshare variables for inverse constraint. Fixes #171.

Gecode · Aug 31, 2023 · c32cd81 · c32cd81
1 parent ecf84ec
commit c32cd81
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 3 deletions.
diff --git a/changelog.in b/changelog.in
@@ -69,6 +69,14 @@ Date: 2020-??-??
 [DESCRIPTION]
 Let's see.
 
+[ENTRY]
+Module: flatzinc
+What:   bug
+Issue:  171
+Rank:   minor
+[DESCRIPTION]
+Correctly unshare variables for inverse constraint.
+
 [ENTRY]
 Module: flatzinc
 What:   bug

diff --git a/gecode/flatzinc/registry.cpp b/gecode/flatzinc/registry.cpp
@@ -1220,12 +1220,12 @@ namespace Gecode { namespace FlatZinc {
     void
     p_inverse_offsets(FlatZincSpace& s, const ConExpr& ce, AST::Node* ann) {
       IntVarArgs x = s.arg2intvarargs(ce[0]);
-      unshare(s, x);
       int xoff = ce[1]->getInt();
       IntVarArgs y = s.arg2intvarargs(ce[2]);
-      unshare(s, y);
       int yoff = ce[3]->getInt();
-      channel(s, x, xoff, y, yoff, s.ann2ipl(ann));
+      IntVarArgs xy = x + y;
+      unshare(s, xy);
+      channel(s, xy.slice(0, 1, x.size()), xoff, xy.slice(x.size()), yoff, s.ann2ipl(ann));
     }
 
     void