#include <ReasonerEvent.h>

Inheritance diagram for knowrob::reasoner::ReplacementEvent:

Collaboration diagram for knowrob::reasoner::ReplacementEvent:

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

	ReplacementEvent (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 replacements. These will replace the triples that were previously asserted. This is supposed to be used by reasoner that do not keep track of incremental changes. In case of incremental reasoners, the assertion and retraction events should rather be used.

Definition at line 117 of file ReasonerEvent.h.

Constructor & Destructor Documentation

◆ ReplacementEvent() [1/2]

knowrob::reasoner::ReplacementEvent::ReplacementEvent	(	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 123 of file ReasonerEvent.h.

124 : TripleEvent(Replacement, numTriples, copy) {}

knowrob::reasoner::Event::Replacement

@ Replacement

Definition: ReasonerEvent.h:35

knowrob::reasoner::TripleEvent::TripleEvent

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

Definition: ReasonerEvent.cpp:20

◆ ReplacementEvent() [2/2]

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