knowrob::reasoner::Event Class Reference

#include <ReasonerEvent.h>

Inheritance diagram for knowrob::reasoner::Event:

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

Public Member Functions
	Event (Type eventType)
Type	eventType () const
	Event (Type eventType)
Type	eventType () const

Protected Attributes
const Type	eventType_

Detailed Description

An event that is emitted by a reasoner.

Definition at line 18 of file ReasonerEvent.h.

Member Enumeration Documentation

Type [1/2]

enum knowrob::reasoner::Event::Type

The type of the event.

Enumerator
Assertion	The reasoner has inferred a new statement.
Retraction	The reasoner has retracted a statement.
Replacement	The reasoner signals that all previous statements should be replaced by new ones.
Invalidation	The reasoner signals that its update method needs to be called.
Assertion	The reasoner has inferred a new statement.
Retraction	The reasoner has retracted a statement.
Replacement	The reasoner signals that all previous statements should be replaced by new ones.
Invalidation	The reasoner signals that its update method needs to be called.

Definition at line 23 of file ReasonerEvent.h.

                  {
            Assertion,
            Retraction,
            Replacement,
            Invalidation
        };

Type [2/2]

enum knowrob::reasoner::Event::Type

The type of the event.

Enumerator
Assertion	The reasoner has inferred a new statement.
Retraction	The reasoner has retracted a statement.
Replacement	The reasoner signals that all previous statements should be replaced by new ones.
Invalidation	The reasoner signals that its update method needs to be called.
Assertion	The reasoner has inferred a new statement.
Retraction	The reasoner has retracted a statement.
Replacement	The reasoner signals that all previous statements should be replaced by new ones.
Invalidation	The reasoner signals that its update method needs to be called.

Definition at line 23 of file ReasonerEvent.h.

                  {
            Assertion,
            Retraction,
            Replacement,
            Invalidation
        };

Constructor & Destructor Documentation

Event() [1/2]

knowrob::reasoner::Event::Event ( Type  eventType )

inlineexplicit

Definition at line 42 of file ReasonerEvent.h.

: eventType_(eventType) {}

Event() [2/2]

knowrob::reasoner::Event::Event ( Type  eventType )

inlineexplicit

Definition at line 42 of file ReasonerEvent.h.

: eventType_(eventType) {}

Member Function Documentation

eventType() [1/2]

Type knowrob::reasoner::Event::eventType ( ) const

inline

Returns

the event type.

Definition at line 47 of file ReasonerEvent.h.

{ return eventType_; }

eventType() [2/2]

Type knowrob::reasoner::Event::eventType ( ) const

inline

Returns

the event type.

Definition at line 47 of file ReasonerEvent.h.

{ return eventType_; }

Member Data Documentation

eventType_

const Type knowrob::reasoner::Event::eventType_

protected

Definition at line 50 of file ReasonerEvent.h.

---

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

• build/_CPack_Packages/Linux/DEB/knowrob-2.1.0-Linux/usr/include/knowrob/reasoner/ReasonerEvent.h