ConjunctiveQuery.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_CONJUNCTIVE_QUERY_H
#define KNOWROB_CONJUNCTIVE_QUERY_H
 
#include "knowrob/queries/Query.h"
#include "knowrob/semweb/GraphTerm.h"
#include "knowrob/semweb/TriplePattern.h"
#include "knowrob/formulas/SimpleConjunction.h"
 
namespace knowrob {
    class ConjunctiveQuery : public Query {
    public:
        explicit ConjunctiveQuery(const std::vector<FirstOrderLiteralPtr> &query,
                                  const QueryContextPtr &ctx = DefaultQueryContext());
 
        explicit ConjunctiveQuery(const FirstOrderLiteralPtr &query, const QueryContextPtr &ctx);
 
        auto &formula() const { return formula_; }
 
        auto &literals() const { return formula_->literals(); }
 
        // Override Printable
        void write(std::ostream &os) const override;
 
    protected:
        SimpleConjunctionPtr formula_;
 
        explicit ConjunctiveQuery(const QueryContextPtr &ctx = DefaultQueryContext()) : Query(ctx) {}
    };
 
    // A shared pointer to a GraphQuery
    using ConjunctiveQueryPtr = std::shared_ptr<ConjunctiveQuery>;
 
} // knowrob
 
#endif //KNOWROB_CONJUNCTIVE_QUERY_H