Term.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_TERM_H_
#define KNOWROB_TERM_H_
 
#include <set>
#include <memory>
#include <ostream>
#include "knowrob/Printable.h"
 
namespace knowrob {
    enum class TermType : uint8_t {
        ATOMIC = 0,
        VARIABLE,
        FUNCTION
    };
 
    class Term : public Printable {
    public:
        explicit Term(TermType termType) : termType_(termType) {};
 
        ~Term() override = default;
 
        bool operator==(const Term &other) const;
 
        bool operator!=(const Term &other) const { return !this->operator==(other); }
 
        TermType termType() const { return termType_; }
 
        bool isGround() const { return variables().empty(); }
 
        bool isAtomic() const { return termType_ == TermType::ATOMIC; }
 
        bool isAtom() const;
 
        bool isVariable() const;
 
        bool isFunction() const;
 
        bool isNumeric() const;
 
        bool isString() const;
 
        bool isIRI() const { return isIRI_; }
 
        bool isBlank() const { return isBlank_; }
 
        size_t hash() const;
 
        virtual const std::set<std::string_view> &variables() const = 0;
 
    protected:
        static const std::set<std::string_view> noVariables_;
        const TermType termType_;
        bool isBlank_ = false;
        bool isIRI_ = false;
    };
 
    // alias declaration
    using TermPtr = std::shared_ptr<Term>;
}
 
#endif //KNOWROB_TERM_H_