Storm
1.10.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
logging.h
Go to the documentation of this file.
1
#pragma once
2
3
// Load streaming operator from CARL
4
#include <carl/io/streamingOperators.h>
5
namespace
l3pp
{
6
using
carl::operator<<;
7
}
8
9
#include <l3pp.h>
10
11
#if !defined(STORM_LOG_DISABLE_DEBUG) && !defined(STORM_LOG_DISABLE_TRACE)
12
#define STORM_LOG_TRACE(message) L3PP_LOG_TRACE(l3pp::Logger::getRootLogger(), message)
13
#else
14
#define STORM_LOG_TRACE(message) (void)(0)
15
#endif
16
17
#if !defined(STORM_LOG_DISABLE_DEBUG)
18
#define STORM_LOG_DEBUG(message) L3PP_LOG_DEBUG(l3pp::Logger::getRootLogger(), message)
19
#else
20
#define STORM_LOG_DEBUG(message) (void)(0)
21
#endif
22
23
// Define STORM_LOG_WARN, STORM_LOG_ERROR and STORM_LOG_INFO to log the given message with the corresponding log levels.
24
#define STORM_LOG_INFO(message) L3PP_LOG_INFO(l3pp::Logger::getRootLogger(), message)
25
#define STORM_LOG_WARN(message) L3PP_LOG_WARN(l3pp::Logger::getRootLogger(), message)
26
#define STORM_LOG_ERROR(message) L3PP_LOG_ERROR(l3pp::Logger::getRootLogger(), message)
l3pp
Definition
logging.h:5
src
storm
utility
logging.h
Generated by
1.9.8