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

    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