IRIAtom.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_IRI_ATOM_H
#define KNOWROB_IRI_ATOM_H
 
#include "Atom.h"
#include "RDFNode.h"
#include "knowrob/formulas/Predicate.h"
 
namespace knowrob {
    class IRIAtom : public Atom, public RDFNode {
    public:
        explicit IRIAtom(std::string_view stringForm)
                : Atom(stringForm, AtomType::IRI),
                  RDFNode(RDFNodeType::IRI) {
            isIRI_ = true;
        }
 
        static std::shared_ptr<IRIAtom> Tabled(std::string_view stringForm);
 
        PredicatePtr operator()(const TermPtr &s, const TermPtr &o) const;
 
        PredicatePtr operator()(const TermPtr &s) const;
 
        // override Printable
        void write(std::ostream &os) const override;
 
    protected:
    };
 
    using IRIAtomPtr = std::shared_ptr<IRIAtom>;
 
    IRIAtomPtr iri(std::string_view ns, std::string_view name);
 
} // knowrob
 
 
#endif //KNOWROB_IRI_ATOM_H