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

From: Takis Stamatopoulos <takis_at_...90...>
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 : Mon Jul 09 2018 - 02:05:29 CEST