Oz and Mozart Users Mailing List

Re: reflection


From: Adriano Volpones (adriano.volpones@arscomputandi.com)
Date: Mon Apr 15 2002 - 15:31:15 CEST


Frank,
>> 2 - Debug constraints is not an easy task but I noticed a contrib\reflect
>> directory, is there some documentation about that or some about debugging
>> contraints in general ?
>Well, within constraint-programming "reflection" means to explore
>variables domain-boundaries on run-time.

The problem is to explain to the user not only that "something" has gone
wrong but "why" too.
So the approach could be to explore a Space finding the offending constraint
"post mortem" or to signal the "wrong" event to the application.

Any ideas ?

-
Please send submissions to users@mozart-oz.org
and administriva mail to users-request@mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.



This archive was generated by hypermail 2b29.