Atom.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_ATOM_H
#define KNOWROB_ATOM_H
 
#include <unordered_map>
#include <optional>
#include <map>
#include "Atomic.h"
 
namespace knowrob {
    enum class AtomType {
        REGULAR,
        IRI
    };
 
    class Atom : public Atomic {
    public:
        static std::shared_ptr<knowrob::Atom> Tabled(std::string_view stringForm);
 
        explicit Atom(std::string_view stringForm, AtomType atomType = AtomType::REGULAR);
 
        bool isSameAtom(const Atom &other) const;
 
        AtomType atomType() const { return atomType_; }
 
        // override Atomic
        std::string_view stringForm() const final { return stringForm_; }
 
        // override Printable
        void write(std::ostream &os) const override;
 
    protected:
        std::string_view stringForm_;
        const AtomType atomType_;
 
        using AtomTable = std::map<std::string, std::optional<std::weak_ptr<Atom>>, std::less<>>;
 
        static AtomTable &table();
    };
 
    using AtomPtr = std::shared_ptr<Atom>;
 
} // knowrob
 
#endif //KNOWROB_ATOM_H