Check whether a tuple of variables cannot be constrained any further, in Mozart/Oz

Question

Greetings,

The idea can be best given with an example:

Suppose we have a vector vec(a:{FD.int 1#100} b:{FD.int 1#100} c:{FD.int 1#100}). I want to be able to add constraints to this vector, until the point that every additional constraint I add to it does not add any more information, e.g. does not constraint vec.a, vec.b and vec.c any further.

Is it possible to do it in Mozart/Oz?

I'd like to think it that way.

In a loop:

1. Access the constraint store,
2. Check whether it is changed
3. Terminate if there is no change.