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 _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
