#include <ReasonerEvent.h>

Inheritance diagram for knowrob::reasoner::RetractionEvent:

Collaboration diagram for knowrob::reasoner::RetractionEvent:

Public Member Functions
	RetractionEvent (uint32_t numTriples, bool copy=true)

	RetractionEvent (uint32_t numTriples, bool copy=true)

Public Member Functions inherited from knowrob::reasoner::TripleEvent
	TripleEvent (Type eventType, uint32_t tripleCount, bool copy=true)

auto &	triples () const

auto &	triple (uint32_t index)

	TripleEvent (Type eventType, uint32_t tripleCount, bool copy=true)

auto &	triples () const

auto &	triple (uint32_t index)

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::TripleEvent
std::vector< TriplePtr >	triples_

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

Detailed Description

An event that contains a set of retractions. These will be removed from the set of inferred triples of this reasoner, and removed from the knowledge base.

Definition at line 99 of file ReasonerEvent.h.

Constructor & Destructor Documentation

◆ RetractionEvent() [1/2]

knowrob::reasoner::RetractionEvent::RetractionEvent	(	uint32_t	numTriples,
		bool	copy = `true`
	)

inlineexplicit

Parameters

numTriples	the number of triples in this event.
copy	whether to use std::string (true) or std::string_view (false) for triples.

Definition at line 105 of file ReasonerEvent.h.

106 : TripleEvent(Retraction, numTriples, copy) {}

knowrob::reasoner::Event::Retraction

@ Retraction

Definition: ReasonerEvent.h:31

knowrob::reasoner::TripleEvent::TripleEvent

TripleEvent(Type eventType, uint32_t tripleCount, bool copy=true)

Definition: ReasonerEvent.cpp:20

◆ RetractionEvent() [2/2]

knowrob::reasoner::RetractionEvent::RetractionEvent	(	uint32_t	numTriples,
		bool	copy = `true`
	)