6 #ifndef KNOWROB_FORMULA_QUERY_H_
7 #define KNOWROB_FORMULA_QUERY_H_
9 #include <knowrob/queries/Query.h>
16 class FormulaQuery :
public Query {
31 const std::shared_ptr<Formula>
formula_;
std::shared_ptr< Formula > FormulaPtr
std::shared_ptr< const QueryContext > QueryContextPtr