knowrob::RDFIndicator Struct Reference

#include <RDFIndicator.h>

Public Member Functions
	RDFIndicator (const PredicatePtr &predicate)
	RDFIndicator (std::string_view functor, size_t arity)
	RDFIndicator (size_t arity)
	RDFIndicator (const PredicatePtr &predicate)
	RDFIndicator (std::string_view functor, size_t arity)
	RDFIndicator (size_t arity)

Public Attributes
std::optional< std::string_view >	functor
size_t	arity

Detailed Description

A predicate indicator but in case of RDF predicates the functor can be a variable in which case the functor of the indicator is not defined.

Definition at line 19 of file RDFIndicator.h.

Constructor & Destructor Documentation

RDFIndicator() [1/6]

RDFIndicator::RDFIndicator ( const PredicatePtr &  predicate )

explicit

Create a new RDF indicator with the given predicate.

Parameters

predicate

the predicate

Definition at line 10 of file RDFIndicator.cpp.

                                                        {
 
    // there is the case of property variables, and representation using triple/3 predicate
    // which needs special handling here.
    static const AtomPtr tripleFunctor = Atom::Tabled("triple");
    if (predicate->arity() == 3 && *predicate->functor() == *tripleFunctor) {
        auto predicateTerm = predicate->arguments()[1];
        arity = 2;
        if (predicateTerm->termType() == TermType::ATOMIC) {
            functor = std::static_pointer_cast<Atomic>(predicateTerm)->stringForm();
        }
    } else {
        arity = predicate->arity();
        functor = predicate->functor()->stringForm();
    }
}

RDFIndicator() [2/6]

RDFIndicator::RDFIndicator	(	std::string_view	functor,
		size_t	arity
	)

Create a new RDF indicator with the given functor and arity.

Parameters

functor	the functor of the indicator
arity	the arity of the indicator

Definition at line 29 of file RDFIndicator.cpp.

: functor(functor), arity(arity) {}

RDFIndicator() [3/6]

RDFIndicator::RDFIndicator ( size_t  arity )

explicit

Create a new RDF indicator with the given arity.

Parameters

arity

the arity of the indicator

Definition at line 27 of file RDFIndicator.cpp.

: arity(arity) {}

RDFIndicator() [4/6]

knowrob::RDFIndicator::RDFIndicator ( const PredicatePtr &  predicate )

explicit

Create a new RDF indicator with the given predicate.

Parameters

predicate

the predicate

RDFIndicator() [5/6]

knowrob::RDFIndicator::RDFIndicator	(	std::string_view	functor,
		size_t	arity
	)

Create a new RDF indicator with the given functor and arity.

Parameters

functor	the functor of the indicator
arity	the arity of the indicator

RDFIndicator() [6/6]

knowrob::RDFIndicator::RDFIndicator ( size_t  arity )

explicit

Create a new RDF indicator with the given arity.

Parameters

arity

the arity of the indicator

Member Data Documentation

arity

size_t knowrob::RDFIndicator::arity

Definition at line 40 of file RDFIndicator.h.

functor

std::optional< std::string_view > knowrob::RDFIndicator::functor

Definition at line 39 of file RDFIndicator.h.

---

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

• build/_CPack_Packages/Linux/DEB/knowrob-2.1.0-Linux/usr/include/knowrob/semweb/RDFIndicator.h
• src/semweb/RDFIndicator.cpp