knowrob::FramedPredicate Class Reference

#include <FramedPredicate.h>

Public Member Functions
	FramedPredicate (PredicatePtr predicate, GraphSelectorPtr graphSelector, AtomPtr reasonerTerm)
auto &	predicate () const
auto &	graphSelector () const
auto &	reasonerTerm () const
	FramedPredicate (PredicatePtr predicate, GraphSelectorPtr graphSelector, AtomPtr reasonerTerm)
auto &	predicate () const
auto &	graphSelector () const
auto &	reasonerTerm () const

Protected Attributes
PredicatePtr	predicate_
GraphSelectorPtr	graphSelector_
AtomPtr	reasonerTerm_

Detailed Description

A framed predicate.

Definition at line 18 of file FramedPredicate.h.

Constructor & Destructor Documentation

FramedPredicate() [1/2]

knowrob::FramedPredicate::FramedPredicate ( PredicatePtr  predicate, GraphSelectorPtr  graphSelector, AtomPtr  reasonerTerm  )

inline

Create a framed predicate.

Parameters

predicate	the predicate.
graphSelector	the graph selector.
reasonerTerm	the reasoner term.

Definition at line 26 of file FramedPredicate.h.

                : predicate_(std::move(predicate)),
                  graphSelector_(std::move(graphSelector)),
                  reasonerTerm_(std::move(reasonerTerm)) {}

FramedPredicate() [2/2]

knowrob::FramedPredicate::FramedPredicate ( PredicatePtr  predicate, GraphSelectorPtr  graphSelector, AtomPtr  reasonerTerm  )

inline

Create a framed predicate.

Parameters

predicate	the predicate.
graphSelector	the graph selector.
reasonerTerm	the reasoner term.

Definition at line 26 of file FramedPredicate.h.

                : predicate_(std::move(predicate)),
                  graphSelector_(std::move(graphSelector)),
                  reasonerTerm_(std::move(reasonerTerm)) {}

Member Function Documentation

graphSelector() [1/2]

auto& knowrob::FramedPredicate::graphSelector ( ) const

inline

Returns

the graph selector.

Definition at line 39 of file FramedPredicate.h.

{ return graphSelector_; }

graphSelector() [2/2]

auto& knowrob::FramedPredicate::graphSelector ( ) const

inline

Returns

the graph selector.

Definition at line 39 of file FramedPredicate.h.

{ return graphSelector_; }

predicate() [1/2]

auto& knowrob::FramedPredicate::predicate ( ) const

inline

Returns

the predicate.

Definition at line 34 of file FramedPredicate.h.

{ return predicate_; }

predicate() [2/2]

auto& knowrob::FramedPredicate::predicate ( ) const

inline

Returns

the predicate.

Definition at line 34 of file FramedPredicate.h.

{ return predicate_; }

reasonerTerm() [1/2]

auto& knowrob::FramedPredicate::reasonerTerm ( ) const

inline

Returns

the reasoner term.

Definition at line 44 of file FramedPredicate.h.

{ return reasonerTerm_; }

reasonerTerm() [2/2]

auto& knowrob::FramedPredicate::reasonerTerm ( ) const

inline

Returns

the reasoner term.

Definition at line 44 of file FramedPredicate.h.

{ return reasonerTerm_; }

Member Data Documentation

graphSelector_

GraphSelectorPtr knowrob::FramedPredicate::graphSelector_

protected

Definition at line 48 of file FramedPredicate.h.

predicate_

PredicatePtr knowrob::FramedPredicate::predicate_

protected

Definition at line 47 of file FramedPredicate.h.

reasonerTerm_

AtomPtr knowrob::FramedPredicate::reasonerTerm_

protected

Definition at line 49 of file FramedPredicate.h.

---

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

• build/_CPack_Packages/Linux/DEB/knowrob-2.1.0-Linux/usr/include/knowrob/formulas/FramedPredicate.h