Clasp::Event Struct Reference

Base class for library events. More...

#include <misc_types.h>

Inheritance diagram for Clasp::Event:

Collaboration diagram for Clasp::Event:

Public Types
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
	Event (Subsystem sys, uint32 evId, Verbosity verbosity)

Static Public Member Functions
static uint32	nextId ()

Public Attributes
uint32	system: 2
uint32	verb: 2
uint32	op: 8
uint32	id: 16

Detailed Description

Base class for library events.

Member Enumeration Documentation

enum Clasp::Event::Subsystem

Enumerator
subsystem_facade
subsystem_load
subsystem_prepare
subsystem_solve

enum Clasp::Event::Verbosity

Enumerator
verbosity_quiet
verbosity_low
verbosity_high
verbosity_max

Constructor & Destructor Documentation

Clasp::Event::Event ( Subsystem  sys, uint32  evId, Verbosity  verbosity  )

inlineexplicit

Member Function Documentation

uint32 Clasp::Event::nextId ( )

static

Member Data Documentation

uint32 Clasp::Event::id

uint32 Clasp::Event::op

uint32 Clasp::Event::system

uint32 Clasp::Event::verb

---

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

• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libclasp/clasp/util/misc_types.h
• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libclasp/src/shared_context.cpp