Which goal failed?

From: Mark Wallace <Mark.Wallace_at_infotech.monash.edu.au>
Date: Thu 03 Mar 2005 11:08:26 PM GMT
Message-id: <422798EA.3010502@infotech.monash.edu.au>

I'm writing a constraint program which uses ic_global:alldifferent.
At some point deep in the search one of the (many)  alldifferent
constraints in my program fails.

I want to find out which one failed, (in order to do some clever search
exploiting this knowledge).
I can find this out using the tracer, but I don't know how to get this
information inside the program.
Is there any way to do this?

Better still would be to associate some identifier with each
ic_global:alldifferent goal and be able to
access this identifier when the goal fails...


Mark Wallace
Faculty of Information Technology
Monash University
Building 63,
Vic 3800
Tel: +61 3 9905 1367
Fax: +61 3 9905 8731
Received on Fri Mar 04 10:12:51 2005

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:34 PM GMT GMT