A log message. More...

#include <misc_types.h>

Inheritance diagram for Clasp::LogEvent:

Collaboration diagram for Clasp::LogEvent:

Public Types
enum	LogType { message = 'M', warning = 'W' }

Public Types inherited from Clasp::Event
enum	Subsystem { subsystem_facade = 0, subsystem_load = 1, subsystem_prepare = 2, subsystem_solve = 3 }

enum	Verbosity { verbosity_quiet = 0, verbosity_low = 1, verbosity_high = 2, verbosity_max = 3 }

Public Member Functions
	LogEvent (Subsystem sys, Verbosity verb, LogType t, const Solver s, const char what)

bool	isWarning () const

Public Member Functions inherited from Clasp::Event_t< LogEvent >
	Event_t (Subsystem sys, Verbosity verb)

Public Member Functions inherited from Clasp::Event
	Event (Subsystem sys, uint32 evId, Verbosity verbosity)

Public Attributes
const Solver *	solver

const char *	msg

Public Attributes inherited from Clasp::Event
uint32	system: 2

uint32	verb: 2

uint32	op: 8

uint32	id: 16

Additional Inherited Members
Static Public Member Functions inherited from Clasp::Event
static uint32	nextId ()

Static Public Attributes inherited from Clasp::Event_t< LogEvent >
static const uint32	id_s

Detailed Description

A log message.

Member Enumeration Documentation

Enumerator
message
warning

inline

bool Clasp::LogEvent::isWarning ( ) const

inline

const char* Clasp::LogEvent::msg

const Solver* Clasp::LogEvent::solver

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

/Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libclasp/clasp/util/misc_types.h