knowrob::Atomic Class Reference

#include <Atomic.h>

Inheritance diagram for knowrob::Atomic:

Collaboration diagram for knowrob::Atomic:

Public Member Functions
	Atomic (AtomicType atomicType)
	~Atomic () override=default
bool	isSameAtomic (const Atomic &other) const
AtomicType	atomicType () const
size_t	hashOfAtomic () const
virtual std::string_view	stringForm () const =0
const std::set< std::string_view > &	variables () const final
void	write (std::ostream &os) const override
	Atomic (AtomicType atomicType)
	~Atomic () override=default
bool	isSameAtomic (const Atomic &other) const
AtomicType	atomicType () const
size_t	hashOfAtomic () const
virtual std::string_view	stringForm () const =0
const std::set< std::string_view > &	variables () const final
void	write (std::ostream &os) const override
Public Member Functions inherited from knowrob::Term
	Term (TermType termType)
	~Term () override=default
bool	operator== (const Term &other) const
bool	operator!= (const Term &other) const
TermType	termType () const
bool	isGround () const
bool	isAtomic () const
bool	isAtom () const
bool	isVariable () const
bool	isFunction () const
bool	isNumeric () const
bool	isString () const
bool	isIRI () const
bool	isBlank () const
size_t	hash () const
	Term (TermType termType)
	~Term () override=default
bool	operator== (const Term &other) const
bool	operator!= (const Term &other) const
TermType	termType () const
bool	isGround () const
bool	isAtomic () const
bool	isAtom () const
bool	isVariable () const
bool	isFunction () const
bool	isNumeric () const
bool	isString () const
bool	isIRI () const
bool	isBlank () const
size_t	hash () const
Public Member Functions inherited from knowrob::Printable
virtual	~Printable ()=default
virtual std::string	format () const
virtual	~Printable ()=default
virtual std::string	format () const

Static Public Member Functions
static std::shared_ptr< Atomic >	makeTripleValue (const Triple &triple)
static std::shared_ptr< Atomic >	makeTripleValue (const Triple &triple)

Protected Attributes
const AtomicType	atomicType_
Protected Attributes inherited from knowrob::Term
const TermType	termType_
bool	isBlank_ = false
bool	isIRI_ = false

Additional Inherited Members
Static Protected Attributes inherited from knowrob::Term
static const std::set< std::string_view >	noVariables_ = {}

Detailed Description

An atomic term is a term that is not a compound term.

Definition at line 32 of file Atomic.h.

Constructor & Destructor Documentation

Atomic() [1/2]

knowrob::Atomic::Atomic ( AtomicType  atomicType )

inlineexplicit

Definition at line 34 of file Atomic.h.

                : Term(TermType::ATOMIC), atomicType_(atomicType) {}

~Atomic() [1/2]

knowrob::Atomic::~Atomic ( )

overridedefault

Atomic() [2/2]

knowrob::Atomic::Atomic ( AtomicType  atomicType )

inlineexplicit

Definition at line 34 of file Atomic.h.

                : Term(TermType::ATOMIC), atomicType_(atomicType) {}

~Atomic() [2/2]

knowrob::Atomic::~Atomic ( )

overridedefault

Member Function Documentation

atomicType() [1/2]

AtomicType knowrob::Atomic::atomicType ( ) const

inline

Returns

the type of the atomic term

Definition at line 48 of file Atomic.h.

{ return atomicType_; }

atomicType() [2/2]

AtomicType knowrob::Atomic::atomicType ( ) const

inline

Returns

the type of the atomic term

Definition at line 48 of file Atomic.h.

{ return atomicType_; }

hashOfAtomic() [1/2]

size_t Atomic::hashOfAtomic

(

)

const

Returns

the hash of this atomic term.

Definition at line 62 of file Atomic.cpp.

                                  {
    return std::hash<std::string_view>{}(stringForm());
}

hashOfAtomic() [2/2]

size_t knowrob::Atomic::hashOfAtomic

(

)

const

Returns

the hash of this atomic term.

isSameAtomic() [1/2]

bool Atomic::isSameAtomic

(

const Atomic &

other

)

const

Parameters

other

another atomic

Returns

true if both atomic terms are equal

Definition at line 16 of file Atomic.cpp.

                                                   {
    if (atomicType() != other.atomicType()) {
        return false;
    }
    switch (atomicType()) {
        case AtomicType::ATOM:
            return ((Atom *) this)->isSameAtom(*((Atom *) &other));
        case AtomicType::NUMERIC:
            return ((Numeric *) this)->isSameNumeric(*((Numeric *) &other));
        case AtomicType::STRING:
            return ((String *) this)->isSameString(*((String *) &other));
    }
    return false;
}

isSameAtomic() [2/2]

bool knowrob::Atomic::isSameAtomic

(

const Atomic &

other

)

const

Parameters

other

another atomic

Returns

true if both atomic terms are equal

makeTripleValue() [1/2]

std::shared_ptr< Atomic > Atomic::makeTripleValue ( const Triple &  triple )

static

Create an atomic term from a triple value.

Parameters

triple

the triple

Returns

the atomic term

Definition at line 31 of file Atomic.cpp.

                                                                  {
    if (triple.xsdType()) {
        switch (triple.xsdType().value()) {
            case XSDType::STRING:
                return std::make_shared<String>(triple.valueAsString());
            case XSDType::BOOLEAN:
                return std::make_shared<Boolean>(triple.valueAsBoolean());
            case XSDType::DOUBLE:
                return std::make_shared<Double>(triple.valueAsDouble());
            case XSDType::FLOAT:
                return std::make_shared<Float>(triple.valueAsFloat());
            case XSDType::NON_NEGATIVE_INTEGER:
            case XSDType::INTEGER:
                return std::make_shared<Integer>(triple.valueAsInt());
            case XSDType::LONG:
                return std::make_shared<Long>(triple.valueAsLong());
            case XSDType::SHORT:
                return std::make_shared<Short>(triple.valueAsShort());
            case XSDType::UNSIGNED_LONG:
                return std::make_shared<UnsignedLong>(triple.valueAsUnsignedLong());
            case XSDType::UNSIGNED_INT:
                return std::make_shared<UnsignedInt>(triple.valueAsUnsignedInt());
            case XSDType::UNSIGNED_SHORT:
                return std::make_shared<UnsignedShort>(triple.valueAsUnsignedShort());
            case XSDType::LAST:
                break;
        }
    }
    return IRIAtom::Tabled(triple.valueAsString());
}

makeTripleValue() [2/2]

static std::shared_ptr<Atomic> knowrob::Atomic::makeTripleValue ( const Triple &  triple )

static

Create an atomic term from a triple value.

Parameters

triple

the triple

Returns

the atomic term

stringForm() [1/2]

virtual std::string_view knowrob::Atomic::stringForm ( ) const

pure virtual

Get the lexical form of this atomic term.

Returns

the lexical form of this atomic term.

Implemented in knowrob::StringTemplate< StrType >, knowrob::NumericTemplate< T1, T2 >, knowrob::StringTemplate< StrType >, knowrob::NumericTemplate< T1, T2 >, knowrob::Atom, and knowrob::Atom.

stringForm() [2/2]

virtual std::string_view knowrob::Atomic::stringForm ( ) const

pure virtual

Get the lexical form of this atomic term.

Returns

the lexical form of this atomic term.

Implemented in knowrob::StringTemplate< StrType >, knowrob::NumericTemplate< T1, T2 >, knowrob::StringTemplate< StrType >, knowrob::NumericTemplate< T1, T2 >, knowrob::Atom, and knowrob::Atom.

variables() [1/2]

const std::set<std::string_view>& knowrob::Atomic::variables ( ) const

inlinefinalvirtual

Returns

set of variables of this term.

Implements knowrob::Term.

Definition at line 69 of file Atomic.h.

{ return Term::noVariables_; }

variables() [2/2]

const std::set<std::string_view>& knowrob::Atomic::variables ( ) const

inlinefinalvirtual

Returns

set of variables of this term.

Implements knowrob::Term.

Definition at line 69 of file Atomic.h.

{ return Term::noVariables_; }

write() [1/2]

void knowrob::Atomic::write ( std::ostream &  os ) const

inlineoverridevirtual

Print this object to a stream.

Parameters

os	the stream to print to.

Implements knowrob::Printable.

Reimplemented in knowrob::StringTemplate< StrType >, knowrob::StringBase, knowrob::NumericTemplate< T1, T2 >, knowrob::IRIAtom, knowrob::Atom, knowrob::StringTemplate< StrType >, knowrob::StringBase, knowrob::NumericTemplate< T1, T2 >, and knowrob::IRIAtom.

Definition at line 72 of file Atomic.h.

{ os << stringForm(); }

write() [2/2]

void knowrob::Atomic::write ( std::ostream &  os ) const

inlineoverridevirtual

Print this object to a stream.

Parameters

os	the stream to print to.

Implements knowrob::Printable.

Reimplemented in knowrob::StringTemplate< StrType >, knowrob::StringBase, knowrob::NumericTemplate< T1, T2 >, and knowrob::IRIAtom.

Definition at line 72 of file Atomic.h.

{ os << stringForm(); }

Member Data Documentation

atomicType_

const AtomicType knowrob::Atomic::atomicType_

protected

Definition at line 75 of file Atomic.h.

---

The documentation for this class was generated from the following files:

• build/_CPack_Packages/Linux/DEB/knowrob-2.1.0-Linux/usr/include/knowrob/terms/Atomic.h
• src/terms/Atomic.cpp