[Oz] "Failed Variables"

[Michael Rovatsos]

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).

Thanks in advance,

Michael

--

-----------------------------------------------
Michael Rovatsos      -     HiWi im Projekt TCS
DFKI, Saarbruecken
rovatsos at dfki.de
-----------------------------------------------



-
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/.