question

[moz mozar]

Hello,

We have a question about "triggered" constraints.
Let us assume we have a constraint program involving variable
Z among others, and we have a family of constraints C_v, each one
must be activated when the variable Z is assigned the value v.

So we want that during the search tree, as soon as Z is assigned
the value v (either because of the distribution we have a branch on the
search tree labeled with Z=v, or either because of the propagation of
constraints during the propagation Z is assigned v) the constraint
C_v is activated, but we want that when backtracking occurs and Z
becomes free, none of the constraints C_v is active.

How can such a behavior be achieved in Mozart/Oz?

_________________________________________________________________
Nouveau MSN Hotmail : 250 Mo d'espace de stockage gratuit ! 
http://www.msn.fr/newmsnhotmail