Controlla se una tupla di variabili non può essere vincolata ulteriormente, in Mozart/Oz

Question

Saluti,

L'idea può essere data al meglio con un esempio:

Supponiamo di avere un vettore vec(a:{FD.int 1#100} b:{FD.int 1#100} c:{FD.int 1#100}). Voglio essere in grado di aggiungere vincoli a questo vettore, fino a quando ogni vincolo aggiuntivo che aggiungo ad esso non aggiunge più informazioni, ad esempio non vincola vec.a, vec.b e vec.c ulteriori.

È possibile farlo in Mozart/Oz?

Mi piacerebbe pensarlo in questo modo.

In un ciclo:

1. Accedere al negozio di vincoli,
2. Controlla se è cambiato
3. Termina se non ci sono modifiche.