Hi, there is another important aspect to add: we don't use the terms in the strict sense, the documentation says:
The descriptions are meant to be suggestions. It is not required that a propagator achieves full domain-consistency or full bounds-consistency. It is more like: which level of consistency comes closest. Cheers Christian -- Christian Schulte, http://www.imit.kth.se/~schulte/ -----Original Message----- From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf Of Mikael De Bie Sent: Thursday, May 03, 2007 11:29 AM To: [EMAIL PROTECTED] Subject: [gecode-users] value-consistency definition Hi, I've searched for a definition of value-consistency, but I don't really find it. What I've understood is that using the value-consistency is no more than a constraint checking. So, there's no propagation in this case. Saying that a constraint is value-consistent should then mean that it exists a value for each involved variable such that the constraint is satisfied. Examples : X in {1, 2, 3} Y in {3, 4, 5} the constraint X = Y is value-consistent. X in {1, 2, 3} Y in {4, 5, 6} the constraint X = Y isn't value-consistent. Am I right ? Mikaël _______________________________________________ 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
