No, there is no reified version. The best you can do at emulating is use excessive reification: Create O(n^2) reified disequality constraints for all variable-variable pairs, and then the reified control variable is the conjunction of all the control variables from the disequalities. As said, not very good.
Christian -- Christian Schulte, www.it.kth.se/~cschulte/ -----Original Message----- From: [email protected] [mailto:[email protected]] On Behalf Of Max Ostrowski Sent: Monday, February 16, 2009 2:21 PM To: gecode list Subject: [gecode-users] Reified Distinct Constraint I just found the distinct constraint, that hopefully makes all variables distinct. This could greatly reduce the number of constraints, as i am translating from a logic program. But i would need a reified version of the distinct constraint. I there any or can i at least emulate thie behaviour? Thank you in advance, Max -- Jetzt 1 Monat kostenlos! GMX FreeDSL - Telefonanschluss + DSL für nur 17,95 Euro/mtl.!* http://dsl.gmx.de/?ac=OM.AD.PD003K11308T4569a _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
