AnswerYes.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_POSITIVE_ANSWER_H
#define KNOWROB_POSITIVE_ANSWER_H
 
#include "Answer.h"
#include "knowrob/formulas/FirstOrderLiteral.h"
#include "knowrob/formulas/FramedPredicate.h"
 
namespace knowrob {
    class AnswerYes : public Answer {
    public:
        AnswerYes();
 
        explicit AnswerYes(BindingsPtr substitution);
 
        AnswerYes(const AnswerYes &other);
 
        bool isRicherThan(const AnswerYes &other) const;
 
        bool isGenericYes() const;
 
        auto &substitution() const { return substitution_; }
 
        bool hasGrounding(const Variable &var) const { return substitution_->contains(var.name()); }
 
        bool addGrounding(const std::shared_ptr<Predicate> &predicate,
                          bool isNegated = false,
                          const GraphSelectorPtr &frame = DefaultGraphSelector());
 
        auto &positiveGroundings() const { return positiveGroundings_; }
 
        auto &negativeGroundings() const { return negativeGroundings_; }
 
        bool mergeWith(const AnswerYes &other, bool ignoreInconsistencies = false);
 
        std::string stringFormOfYes() const;
 
        std::string humanReadableFormOfYes() const;
 
    protected:
        std::vector<FramedPredicate> positiveGroundings_;
        std::vector<FramedPredicate> negativeGroundings_;
        BindingsPtr substitution_;
    };
 
    // alias
    using AnswerYesPtr = std::shared_ptr<const AnswerYes>;
 
    const std::shared_ptr<const AnswerYes> &GenericYes();
 
    AnswerPtr mergePositiveAnswers(const AnswerYesPtr &a, const AnswerYesPtr &b, bool ignoreInconsistencies);
 
} // knowrob
 
#endif //KNOWROB_POSITIVE_ANSWER_H