FormulaQuery.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_FORMULA_QUERY_H_
#define KNOWROB_FORMULA_QUERY_H_
 
#include <knowrob/queries/Query.h>
#include <utility>
 
namespace knowrob {
    class FormulaQuery : public Query {
    public:
        FormulaQuery(FormulaPtr formula, const QueryContextPtr &ctx) : Query(ctx), formula_(std::move(formula)) {}
 
        // Override Query
        const FormulaPtr &formula() const { return formula_; }
 
        // Override Printable
        void write(std::ostream &os) const override { os << *formula_; }
 
    protected:
        const std::shared_ptr<Formula> formula_;
    };
}
 
#endif //KNOWROB_FORMULA_QUERY_H_