[Oz] "Failed Variables"

[Christian Schulte]

Michael Rovatsos wrote:
> 
> I have the following problem: When a FD script fails, I would like to know which FD variables are "to blame"
> 
> for the failure, i.e. whose domains collapsed during constraint propagation. Is there any built-in predicate
> 
> that returns a sub-list of all variables containing those which caused the failure, or is there an efficient
> 
> and simple way to implement such a function (I have thought about watching the domains of variables, but it seems
> 
> quite impracticable to do that all the time).

Currently there is no support for your desire (at least officially).
However, Tobias Mueller (tmueller at ps.uni-sb.de) is currently working on
aspects of constraint debugging. I would suggest that you get in contact
with him.

Cheers
--Christian

---------------------------------------------------------------
Christian Schulte, http://www.ps.uni-sb.de/~schulte/
-
Please send submissions to users at mozart-oz.org
and administriva mail to users-request at mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.