Compruebe si una tupla de variables no se puede restringir más, en Mozart/Oz

Question

Saludos,

La idea se puede dar mejor con un ejemplo:

Supongamos que tenemos un vector vec(a:{FD.int 1#100} b:{FD.int 1#100} c:{FD.int 1#100}). Quiero poder agregar restricciones a este vector, hasta el punto en que cada restricción adicional que agrego no agrega más información, por ejemplo, no tiene restricción vec.a, vec.b y vec.c más lejos.

¿Es posible hacerlo en Mozart/Oz?

Me gustaría pensar de esa manera.

En un bucle:

1. Acceder a la tienda de restricciones,
2. Compruebe si se cambia
3. Terminar si no hay cambios.