CppClingo::Report Class Reference

Helper class to ease logging. More...

#include <logger.hh>

Public Member Functions
	Report (Logger &p, MessageCode code)
	Construct reporter.
template<class Loc >
	Report (Logger &p, MessageCode code, Loc const &loc)
	Construct reporter with additional location information.
	~Report () noexcept(false)
	Destroy the reporter and output message.
auto	out () -> std::ostringstream &
	Get message sink.

Detailed Description

Helper class to ease logging.

---

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

• clingo/core/logger.hh