[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)

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.3.0 : Mon Aug 26 2019 - 06:14:56 CEST