#include <ReasonerEvent.h>

Inheritance diagram for knowrob::reasoner::InvalidationEvent:

Collaboration diagram for knowrob::reasoner::InvalidationEvent:

Public Member Functions
	InvalidationEvent ()

	InvalidationEvent ()

Public Member Functions inherited from knowrob::reasoner::Event
	Event (Type eventType)

Type	eventType () const

	Event (Type eventType)

Type	eventType () const

Additional Inherited Members
Public Types inherited from knowrob::reasoner::Event
enum	Type { Assertion , Retraction , Replacement , Invalidation , Assertion , Retraction , Replacement , Invalidation }

enum	Type { Assertion , Retraction , Replacement , Invalidation , Assertion , Retraction , Replacement , Invalidation }

Protected Attributes inherited from knowrob::reasoner::Event
const Type	eventType_

Detailed Description

An event that signals that the reasoner needs to be updated. Sending such events is considered an optional capability that needs to be an enabled feature of the reasoner.

Definition at line 132 of file ReasonerEvent.h.