Re: [eclipse-clp-users] Preventing bb_min from printing debug info

From: Joachim Schimpf <jschimpf_at_...311...>
Date: Tue, 22 Nov 2011 01:16:13 +0100
Sergey Dymchenko wrote:
> 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.

The easiest way to suppress this (and similar) messages is
to redirect the log_output stream, onto which these messages
are printed.

You can for example redirect to the 'null' stream by calling
set_stream(log_output,null).  The messages are then lost.

Or you can open a log file and redirect the messages there:
open("log.txt",write,S), set_stream(log_output,S).

-- Joachim
Received on Tue Nov 22 2011 - 00:16:18 CET

This archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:29 CEST