ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
messaget::statet Class Reference

#include <message.h>

Public Member Functions

FILE * target (const char *mod, VerbosityLevel lvl) const
void set_flushln () const
template<typename... Args>
bool logln (const char *mod, VerbosityLevel lvl, const char *file, int line, fmt::format_string< Args... > format, Args &&...args) const

Public Attributes

VerbosityLevel verbosity
std::unordered_map< std::string, VerbosityLevel > modules
FILE * out

Member Function Documentation

◆ logln()

template<typename... Args>
bool messaget::statet::logln ( const char * mod,
VerbosityLevel lvl,
const char * file,
int line,
fmt::format_string< Args... > format,
Args &&... args ) const
inline

◆ set_flushln()

void messaget::statet::set_flushln ( ) const

◆ target()

FILE * messaget::statet::target ( const char * mod,
VerbosityLevel lvl ) const

Member Data Documentation

◆ modules

std::unordered_map<std::string, VerbosityLevel> messaget::statet::modules

◆ out

FILE* messaget::statet::out

◆ verbosity

VerbosityLevel messaget::statet::verbosity

The documentation for this class was generated from the following files: