GraphTerm.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_GRAPH_TERM_H
#define KNOWROB_GRAPH_TERM_H
 
#include <iostream>
#include <knowrob/terms/Bindings.h>
 
namespace knowrob {
    enum class GraphTermType {
        Sequence,
        Union,
        Pattern,
        Builtin
    };
 
    class GraphTerm : public Printable {
    public:
        virtual ~GraphTerm() = default;
 
        bool isPattern() const { return termType_ == GraphTermType::Pattern; }
 
        bool isBuiltin() const { return termType_ == GraphTermType::Builtin; }
 
        auto termType() const { return termType_; }
 
        virtual void write(std::ostream &os) const = 0;
 
    protected:
        GraphTermType termType_;
 
        explicit GraphTerm(GraphTermType termType) : termType_(termType) {}
 
        friend class GraphQuery;
    };
 
} // knowrob
 
namespace knowrob {
    std::shared_ptr<GraphTerm> applyBindings(const std::shared_ptr<GraphTerm> &term, const Bindings &bindings);
 
    std::shared_ptr<GraphTerm> operator&(const std::shared_ptr<GraphTerm> &a, const std::shared_ptr<GraphTerm> &b);
 
    std::shared_ptr<GraphTerm> operator|(const std::shared_ptr<GraphTerm> &a, const std::shared_ptr<GraphTerm> &b);
}
 
#endif //v