Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
logging.h File Reference
#include "storm-config.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.

Macros

#define STORM_LOG_TRACE(message)   L3PP_LOG_TRACE(l3pp::Logger::getRootLogger(), message)
 
#define STORM_LOG_DEBUG(message)   L3PP_LOG_DEBUG(l3pp::Logger::getRootLogger(), message)
 
#define STORM_LOG_INFO(message)   L3PP_LOG_INFO(l3pp::Logger::getRootLogger(), message)
 
#define STORM_LOG_WARN(message)   L3PP_LOG_WARN(l3pp::Logger::getRootLogger(), message)
 
#define STORM_LOG_ERROR(message)   L3PP_LOG_ERROR(l3pp::Logger::getRootLogger(), message)
 

Macro Definition Documentation

◆ STORM_LOG_DEBUG

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

Definition at line 23 of file logging.h.

◆ STORM_LOG_ERROR

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

Definition at line 31 of file logging.h.

◆ STORM_LOG_INFO

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

Definition at line 29 of file logging.h.

◆ STORM_LOG_TRACE

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

Definition at line 17 of file logging.h.

◆ STORM_LOG_WARN

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

Definition at line 30 of file logging.h.