[gecode-users] Propagator subsumtion

[Christian Schulte]

This is the case: it is required for a propagator to return subsumed if all
of its variables are assigned. We even test systematically that all
propagators respect this invariant.

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 jeremie.vautard
Sent: Wednesday, April 05, 2006 4:25 PM
To: users
Subject: [gecode-users] Propagator subsumtion


Hi ! 

I would need all propagators to return subsumed when all the variables it is
related to are reduced to one element. Is it already the case in the present
version of Gecode ? If it is not, do you think there is a way to implement
this functionality without having to modify every propagator ? 
The point of this is to determine if a space has become trivially true (i.e.
every possible assignement of all its variables are a solution) : I want to
check it by looking if there are still any propagators subscribed to the
variables.


Regards,
Jérémie Vautard

Accédez au courrier électronique de La Poste : www.laposte.net ; 
3615 LAPOSTENET (0,34 €/mn) ; tél : 08 92 68 13 50 (0,34€/mn)




_______________________________________________
Gecode users mailing list
users at gecode.org https://www.gecode.org/mailman/listinfo/gecode-users