AnswerNo.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_NEGATIVE_ANSWER_H
#define KNOWROB_NEGATIVE_ANSWER_H
 
#include "Answer.h"
#include "knowrob/formulas/FramedPredicate.h"
 
namespace knowrob {
    class AnswerNo : public Answer {
    public:
        AnswerNo();
 
        AnswerNo(const AnswerNo &other);
 
        void addUngrounded(const std::shared_ptr<Predicate> &predicate, bool isNegated = false);
 
        auto &positiveUngrounded() const { return positiveUngrounded_; }
 
        auto &negativeUngrounded() const { return negativeUngrounded_; }
 
        bool mergeWith(const AnswerNo &other);
 
        std::string stringFormOfNo() const;
 
        std::string humanReadableFormOfNo() const;
 
    protected:
        std::vector<FramedPredicate> positiveUngrounded_;
        std::vector<FramedPredicate> negativeUngrounded_;
    };
 
    // alias
    using AnswerNoPtr = std::shared_ptr<const AnswerNo>;
 
    const std::shared_ptr<const AnswerNo> &GenericNo();
 
    AnswerPtr mergeNegativeAnswers(const AnswerNoPtr &a, const AnswerNoPtr &b);
 
} // knowrob
 
#endif //KNOWROB_NEGATIVE_ANSWER_H