[gecode-users] value-consistency definition

[Christian Schulte]

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: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Mikael De Bie
Sent: Thursday, May 03, 2007 11:29 AM
To: users at gecode.org
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
users at gecode.org https://www.gecode.org/mailman/listinfo/gecode-users