clingo
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Groups
Public Member Functions | List of all members
Gringo::DefaultMessagePrinter Struct Reference

#include <logger.hh>

Inheritance diagram for Gringo::DefaultMessagePrinter:
Inheritance graph
Collaboration diagram for Gringo::DefaultMessagePrinter:
Collaboration graph

Public Member Functions

virtual bool check (Errors id)
 
virtual bool check (Warnings id)
 
virtual bool hasError () const
 
virtual void enable (Warnings id)
 
virtual void disable (Warnings id)
 
virtual void print (std::string const &msg)
 
virtual ~DefaultMessagePrinter ()
 
- Public Member Functions inherited from Gringo::MessagePrinter
virtual ~MessagePrinter ()
 

Constructor & Destructor Documentation

Gringo::DefaultMessagePrinter::~DefaultMessagePrinter ( )
inlinevirtual

Member Function Documentation

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: