Computable.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_COMPUTABLE_H
#define KNOWROB_COMPUTABLE_H
 
#include "knowrob/formulas/FirstOrderLiteral.h"
#include "GoalDrivenReasoner.h"
 
namespace knowrob {
    class Computable : public FirstOrderLiteral {
    public:
        Computable(const FirstOrderLiteral &literal,
                   const std::vector<DefiningReasoner> &reasonerList);
 
        Computable(const PredicatePtr &predicate, bool isNegative,
                   const std::vector<DefiningReasoner> &reasonerList);
 
        const auto &reasonerList() const { return reasonerList_; }
 
    protected:
        std::vector<DefiningReasoner> reasonerList_;
    };
 
    using ComputablePtr = std::shared_ptr<Computable>;
 
    ComputablePtr applyBindings(const ComputablePtr &lit, const Bindings &bindings);
 
} // knowrob
 
#endif //KNOWROB_COMPUTABLE_H