Delayed-goals

From: Nuno Gomes <nsgomes_at_netc.pt>
Date: Fri 13 Sep 2002 11:59:25 AM GMT
Message-ID: <001301c25b1d$016d1360$02c681d9@netvisao.pt>
Hi,

Can anyone help me on the following?
I've a call to a goal that creates variables, imposes constraints, and tries
to instantiate the variables (in sum a normal search program). Strange is
that, after a successful goal call eclipse maintains a lot of delayed goals
related with the constraints imposed inside the goal. Is this behaviour
normal? Shouldn't eclipse free all the memory?
There is any way of clear the memory?

I thank in advance the help?
Best Regards
Nuno Gomes
Received on Fri Sep 13 13:46:39 2002

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