[eclipse-users] strategy:restart and report_success in bb_min

From: Takis Stamatopoulos <takis_at_di.uoa.gr>
Date: Sun, 9 Dec 2007 22:31:40 +0200 (EET)
    Hello,

I am facing the following problem:

.....,
bb_min(labeling(Nodes), Cost,
       bb_options{strategy:continue, report_success:report(Nodes)}).

report(Nodes, Cost, _, _) :-
   ...

In report/3, the variable Nodes has the value of an intermediate
solution found. However, if I change strategy:continue to
strategy:restart, Nodes is uninstantiated in report/3.

Any idea? Thank you very much in advance.

   Best Regards,
Panagiotis Stamatopoulos
Department of Informatics and Telecommunications
University of Athens
Received on Sun Dec 09 2007 - 20:32:01 CET

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET