Use your own judgement for the following log levels: TRACE Finer-grained informational events than the DEBUG. More...

#include "config.h"

Include dependency graph for logging.h:

This graph shows which files directly or indirectly include this file:

Macros
#define	SMTRAT_LOG_FATAL(channel, msg) std::cerr << "FATAL " << channel << ": " << msg << std::endl;

#define	SMTRAT_LOG_ERROR(channel, msg) std::cerr << "ERROR " << channel << ": " << msg << std::endl;

#define	SMTRAT_LOG_WARN(channel, msg) {}

#define	SMTRAT_LOG_INFO(channel, msg) {}

#define	SMTRAT_LOG_DEBUG(channel, msg) {}

#define	SMTRAT_LOG_TRACE(channel, msg) {}

#define	SMTRAT_LOG_FUNC(channel, args)

#define	SMTRAT_LOG_ASSERT(channel, condition, msg) assert(condition)

#define	SMTRAT_LOG_NOTIMPLEMENTED()

#define	SMTRAT_LOG_INEFFICIENT()

Detailed Description

Use your own judgement for the following log levels: TRACE Finer-grained informational events than the DEBUG.

DEBUG Fine-grained informational events that are most useful to debug an application. INFO Informational messages that highlight the progress of the application at coarse-grained level. WARN Potentially harmful situations. ERROR Error events that might still allow the application to continue running. FATAL Severe error events that will presumably lead the application to abort.

Definition in file logging.h.

Macro Definition Documentation

◆ SMTRAT_LOG_ASSERT

#define SMTRAT_LOG_ASSERT	(	channel,
		condition,
		msg
	)	assert(condition)

Definition at line 39 of file logging.h.

◆ SMTRAT_LOG_DEBUG

#define SMTRAT_LOG_DEBUG	(	channel,
		msg
	)	{}

Definition at line 35 of file logging.h.

◆ SMTRAT_LOG_ERROR

#define SMTRAT_LOG_ERROR	(	channel,
		msg
	)	std::cerr << "ERROR " << channel << ": " << msg << std::endl;

Definition at line 32 of file logging.h.

◆ SMTRAT_LOG_FATAL

#define SMTRAT_LOG_FATAL	(	channel,
		msg
	)	std::cerr << "FATAL " << channel << ": " << msg << std::endl;

Definition at line 31 of file logging.h.

◆ SMTRAT_LOG_FUNC

#define SMTRAT_LOG_FUNC	(	channel,
		args
	)

Definition at line 38 of file logging.h.

◆ SMTRAT_LOG_INEFFICIENT

#define SMTRAT_LOG_INEFFICIENT ( )

Definition at line 41 of file logging.h.

◆ SMTRAT_LOG_INFO

#define SMTRAT_LOG_INFO	(	channel,
		msg
	)	{}

Definition at line 34 of file logging.h.

◆ SMTRAT_LOG_NOTIMPLEMENTED

#define SMTRAT_LOG_NOTIMPLEMENTED ( )

Definition at line 40 of file logging.h.

◆ SMTRAT_LOG_TRACE

#define SMTRAT_LOG_TRACE	(	channel,
		msg
	)	{}

Definition at line 36 of file logging.h.

◆ SMTRAT_LOG_WARN

#define SMTRAT_LOG_WARN	(	channel,
		msg
	)	{}

Definition at line 33 of file logging.h.

Macros