[eclipse-users] Failed goal

From: <marconci_at_...8...>
Date: Sat, 2 Dec 2006 17:34:21 +0100 (CET)
Hi everybody,

I am writing a program with a set of constraints that use
the ic library and finally the search functions
search(L,0,input_order,indomain_random,complete,[]).

Sometimes, it may happen that at some point
my program fails giving no solution.

I would like to find which goal failed, to
do some more in depth search, i.e. refining
some constraints, by exploiting this information.

Is there a method to get this information from
inside the program, without using the tracer?

I have found a question on the same problem in the mailing list, here
http://eclipse.crosscoreop.com/archive/eclipse-users/0838.html
but I have not found the replays.

Any tips on the problem would be wellcome.

Thank you very much

Cristina
Received on Sat Dec 02 2006 - 16:34:26 CET

This archive was generated by hypermail 2.3.0 : Tue Apr 16 2024 - 09:13:19 CEST