ReasonerEvent.h

Go to the documentation of this file.

/*
 * This file is part of KnowRob, please consult
 * https://github.com/knowrob/knowrob for license details.
 */
 
#ifndef KNOWROB_REASONER_EVENT_H
#define KNOWROB_REASONER_EVENT_H
 
#include <vector>
#include <memory>
#include <string>
#include "knowrob/semweb/Triple.h"
 
namespace knowrob::reasoner {
    class Event {
    public:
        enum Type {
            Assertion,
            Retraction,
            Replacement,
            Invalidation
        };
 
        explicit Event(Type eventType) : eventType_(eventType) {}
 
        Type eventType() const { return eventType_; }
 
    protected:
        const Type eventType_;
    };
 
    class TripleEvent : public Event {
    public:
        TripleEvent(Type eventType, uint32_t tripleCount, bool copy = true);
 
        auto &triples() const { return triples_; }
 
        auto &triple(uint32_t index) { return *triples_[index].ptr; }
 
    protected:
        std::vector<TriplePtr> triples_;
    };
 
    class AssertionEvent : public TripleEvent {
    public:
        explicit AssertionEvent(uint32_t numTriples, bool copy = true)
                : TripleEvent(Assertion, numTriples, copy) {}
    };
 
    class RetractionEvent : public TripleEvent {
    public:
        explicit RetractionEvent(uint32_t numTriples, bool copy = true)
                : TripleEvent(Retraction, numTriples, copy) {}
    };
 
    class ReplacementEvent : public TripleEvent {
    public:
        explicit ReplacementEvent(uint32_t numTriples, bool copy = true)
                : TripleEvent(Replacement, numTriples, copy) {}
    };
 
    class InvalidationEvent : public Event {
    public:
        InvalidationEvent() : Event(Invalidation) {}
    };
 
} // knowrob
 
#endif //KNOWROB_REASONER_EVENT_H