#include <logger.hh>
Gringo::DefaultMessagePrinter::~DefaultMessagePrinter |
( |
| ) |
|
|
inlinevirtual |
bool Gringo::DefaultMessagePrinter::check |
( |
Errors |
id | ) |
|
|
inlinevirtual |
bool Gringo::DefaultMessagePrinter::check |
( |
Warnings |
id | ) |
|
|
inlinevirtual |
void Gringo::DefaultMessagePrinter::disable |
( |
Warnings |
id | ) |
|
|
inlinevirtual |
void Gringo::DefaultMessagePrinter::enable |
( |
Warnings |
id | ) |
|
|
inlinevirtual |
bool Gringo::DefaultMessagePrinter::hasError |
( |
| ) |
const |
|
inlinevirtual |
void Gringo::DefaultMessagePrinter::print |
( |
std::string const & |
msg | ) |
|
|
inlinevirtual |
The documentation for this struct was generated from the following file:
- /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/gringo/logger.hh