SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
logging.h File Reference
#include <carl-logging/carl-logging.h>
#include <carl-logging/logging-internals.h>
#include <carl-common/util/streamingOperators.h>
Include dependency graph for logging.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

 benchmax
 

Macros

#define BENCHMAX_LOG_FATAL(channel, msg)   __CARL_LOG_FATAL(channel, msg)
 Log fatal errors. More...
 
#define BENCHMAX_LOG_ERROR(channel, msg)   __CARL_LOG_ERROR(channel, msg)
 Log errors. More...
 
#define BENCHMAX_LOG_WARN(channel, msg)   __CARL_LOG_WARN(channel, msg)
 Log warnings. More...
 
#define BENCHMAX_LOG_INFO(channel, msg)   __CARL_LOG_INFO(channel, msg)
 Log informational messages. More...
 
#define BENCHMAX_LOG_DEBUG(channel, msg)   __CARL_LOG_DEBUG(channel, msg)
 Log debug messages. More...
 
#define BENCHMAX_LOG_TRACE(channel, msg)   __CARL_LOG_TRACE(channel, msg)
 Log trace messages. More...
 
#define BENCHMAX_LOG_FUNC(channel, args)   __CARL_LOG_FUNC(channel, args)
 Log function call with function arguments. More...
 
#define BENCHMAX_LOG_ASSERT(channel, condition, msg)   __CARL_LOG_ASSERT(channel, condition, msg)
 Assert and log an some condition. More...
 
#define BENCHMAX_LOG_NOTIMPLEMENTED()   __CARL_LOG_ERROR("", "Not implemented method-stub called.")
 Warn about some function not being implemented. More...
 
#define BENCHMAX_LOG_INEFFICIENT()   __CARL_LOG_WARN("", "Inefficient method called.")
 Warn about some function being inefficient. More...
 

Functions

void benchmax::logging_configure ()
 Configure default logging for benchmax. More...
 
void benchmax::logging_quiet ()
 Configure quiet logging for benchmax. More...
 
void benchmax::logging_verbose ()
 Configure verbose logging for benchmax. More...
 

Detailed Description

Macro Definition Documentation

◆ BENCHMAX_LOG_ASSERT

#define BENCHMAX_LOG_ASSERT (   channel,
  condition,
  msg 
)    __CARL_LOG_ASSERT(channel, condition, msg)

Assert and log an some condition.

Definition at line 62 of file logging.h.

◆ BENCHMAX_LOG_DEBUG

#define BENCHMAX_LOG_DEBUG (   channel,
  msg 
)    __CARL_LOG_DEBUG(channel, msg)

Log debug messages.

Definition at line 55 of file logging.h.

◆ BENCHMAX_LOG_ERROR

#define BENCHMAX_LOG_ERROR (   channel,
  msg 
)    __CARL_LOG_ERROR(channel, msg)

Log errors.

Definition at line 49 of file logging.h.

◆ BENCHMAX_LOG_FATAL

#define BENCHMAX_LOG_FATAL (   channel,
  msg 
)    __CARL_LOG_FATAL(channel, msg)

Log fatal errors.

Definition at line 47 of file logging.h.

◆ BENCHMAX_LOG_FUNC

#define BENCHMAX_LOG_FUNC (   channel,
  args 
)    __CARL_LOG_FUNC(channel, args)

Log function call with function arguments.

Definition at line 60 of file logging.h.

◆ BENCHMAX_LOG_INEFFICIENT

#define BENCHMAX_LOG_INEFFICIENT ( )    __CARL_LOG_WARN("", "Inefficient method called.")

Warn about some function being inefficient.

Definition at line 66 of file logging.h.

◆ BENCHMAX_LOG_INFO

#define BENCHMAX_LOG_INFO (   channel,
  msg 
)    __CARL_LOG_INFO(channel, msg)

Log informational messages.

Definition at line 53 of file logging.h.

◆ BENCHMAX_LOG_NOTIMPLEMENTED

#define BENCHMAX_LOG_NOTIMPLEMENTED ( )    __CARL_LOG_ERROR("", "Not implemented method-stub called.")

Warn about some function not being implemented.

Definition at line 64 of file logging.h.

◆ BENCHMAX_LOG_TRACE

#define BENCHMAX_LOG_TRACE (   channel,
  msg 
)    __CARL_LOG_TRACE(channel, msg)

Log trace messages.

Definition at line 57 of file logging.h.

◆ BENCHMAX_LOG_WARN

#define BENCHMAX_LOG_WARN (   channel,
  msg 
)    __CARL_LOG_WARN(channel, msg)

Log warnings.

Definition at line 51 of file logging.h.