Storm 1.13.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
logging.h File Reference
#include <carl/io/streamingOperators.h>
#include <l3pp.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

namespace  l3pp

Macros

#define STORM_LOG_TRACE(message)
#define STORM_LOG_DEBUG(message)
#define STORM_LOG_INFO(message)
#define STORM_LOG_WARN(message)
#define STORM_LOG_ERROR(message)

Macro Definition Documentation

◆ STORM_LOG_DEBUG

#define STORM_LOG_DEBUG ( message)
Value:
L3PP_LOG_DEBUG(l3pp::Logger::getRootLogger(), message)

Definition at line 18 of file logging.h.

◆ STORM_LOG_ERROR

#define STORM_LOG_ERROR ( message)
Value:
L3PP_LOG_ERROR(l3pp::Logger::getRootLogger(), message)

Definition at line 26 of file logging.h.

◆ STORM_LOG_INFO

#define STORM_LOG_INFO ( message)
Value:
L3PP_LOG_INFO(l3pp::Logger::getRootLogger(), message)

Definition at line 24 of file logging.h.

◆ STORM_LOG_TRACE

#define STORM_LOG_TRACE ( message)
Value:
L3PP_LOG_TRACE(l3pp::Logger::getRootLogger(), message)

Definition at line 12 of file logging.h.

◆ STORM_LOG_WARN

#define STORM_LOG_WARN ( message)
Value:
L3PP_LOG_WARN(l3pp::Logger::getRootLogger(), message)

Definition at line 25 of file logging.h.