Variable.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_VARIABLE_H_
#define KNOWROB_VARIABLE_H_
 
#include <string>
#include <ostream>
#include "Term.h"
#include "Atom.h"
 
namespace knowrob {
    class Variable : public Term {
    public:
        explicit Variable(std::string_view name);
 
        bool operator<(const Variable &other) const;
 
        bool isSameVariable(const Variable &other) const;
 
        std::string_view name() const { return nameAtom_->stringForm(); }
 
        const AtomPtr &nameAtom() const { return nameAtom_; }
 
        // Override Term
        const std::set<std::string_view> &variables() const override { return variables_; }
 
        // Override Printable
        void write(std::ostream &os) const override;
 
    protected:
        const AtomPtr nameAtom_;
        const std::set<std::string_view> variables_;
    };
 
    using VariablePtr = std::shared_ptr<Variable>;
 
    struct VariablePtrComparator {
        bool operator()(const VariablePtr &lhs, const VariablePtr &rhs) const { return *lhs < *rhs; }
    };
}
 
#endif //KNOWROB_VARIABLE_H_