[gecode-users] Space entailment

[Gustavo Gutierrez]

Hi all,

I was wondering about the representation of the entailment relation in
gecode. Suppose you have a space with variables and constraints. How
can i verify if an extra constraint is already entailed by the store
(space)?. In the mozart terminology this is the difference between a
succeeded(entailed) and a succeeded(stuck) space. Of course, here we
will not take threads into account since threads does not exist in
gecode.

At implementation level, if the relation implemented by a propagator
to be posted in the space is already represented in terms of variables
domains, the propagator is not posted at all. Then counting how many
propagators are in the space before the posting of the new one and
comparing it to the number of propagators after posting it, is enough
to verify that property.

Do you agree??


Cheers,
--
Gustavo Gutierrez