hi,
Likely, there is micro-bug in the SingletonAppend iterator:
Index: gecode/iter/ranges-singleton-append.hpp
===================================================================
--- gecode/iter/ranges-singleton-append.hpp (revision 7847)
+++ gecode/iter/ranges-singleton-append.hpp (working copy)
@@ -106,6 +106,7 @@
forceinline void
SingletonAppend<J>::init(int i0, int i1, J& j0) {
mi = i0; ma=i1;
+ j = j0;
}
}}}
cheers,
Stefano
_______________________________________________
Gecode users mailing list
[EMAIL PROTECTED]
https://www.gecode.org/mailman/listinfo/gecode-users
