Classes
class	mcrl2::log::output_policy
	Interface class for output policy. More...

class	mcrl2::log::logger
	Class for logging messages. More...

class	mcrl2::log::formatter_interface

class	mcrl2::log::formatter
	Mixin that takes care of formatting of a message. More...

class	mcrl2::log::file_output
	File output class. More...

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.

namespace	mcrl2::log

Macros
#define	mCRL2log(LEVEL) if (mcrl2::log::mCRL2logEnabled(LEVEL)) mcrl2::log::logger(LEVEL).get()
	mCRL2log(LEVEL) provides the stream used to log.

Enumerations
enum	mcrl2::log::log_level_t { mcrl2::log::quiet , mcrl2::log::error , mcrl2::log::warning , mcrl2::log::info , mcrl2::log::status , mcrl2::log::verbose , mcrl2::log::debug , mcrl2::log::trace }
	Log levels that are supported. More...

Functions
std::string	mcrl2::log::log_level_to_string (const log_level_t level)
	Convert log level to string This string is used to prefix messages in the logging output.

log_level_t	mcrl2::log::log_level_from_string (const std::string &s)
	Convert string to log level.

std::string	mcrl2::log::format_time (const time_t *t)

std::set< output_policy * >	mcrl2::log::initialise_output_policies ()
	Initialise the output policies. This returns the singleton set containing the default output policy.

output_policy &	mcrl2::log::default_output_policy ()
	The default output policy used by the logger.

bool	mcrl2::log::mCRL2logEnabled (const log_level_t level)

Macro Definition Documentation

◆ mCRL2log

#define mCRL2log ( LEVEL ) if (mcrl2::log::mCRL2logEnabled(LEVEL)) mcrl2::log::logger(LEVEL).get()

mCRL2log(LEVEL) provides the stream used to log.

Definition at line 391 of file logger.h.