Hmm, but how to prevent "Branch-and-bound timeout!" message from printing in the case when timeout option is set? It looks like report_success and report_failure don't affect this message. Sergey. On Sat, Nov 12, 2011 at 10:53 PM, Joachim Schimpf <jschimpf_at_coninfer.com> wrote: > Sergey Dymchenko wrote: >> Hi! >> >> I want to prevent bb_min from printing info like "Found a solution >> with cost", "Found no solution with cost". >> For now I've done this buy declaring >> empty_handler(_, _, _). >> and use it in the options to bb_min like >> bb_options{strategy: dichotomic, report_success: empty_handler, >> report_failure: empty_handler}. >> >> Maybe there is a better way? > > You can also write > bb_options{report_success:true/0, report_failure:true/0} > > -- Joachim > > ------------------------------------------------------------------------------ > RSA(R) Conference 2012 > Save $700 by Nov 18 > Register now > http://p.sf.net/sfu/rsa-sfdev2dev1 > _______________________________________________ > ECLiPSe-CLP-Users mailing list > ECLiPSe-CLP-Users_at_lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users >Received on Fri Nov 18 2011 - 04:22:13 CET
This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET