#include <QueryTree.h>
A path in a QueryTree from root of the tree to a leaf.
Definition at line 71 of file QueryTree.h.
◆ Path() [1/2]
knowrob::QueryTree::Path::Path |
( |
| ) |
|
|
default |
◆ Path() [2/2]
knowrob::QueryTree::Path::Path |
( |
| ) |
|
|
default |
◆ begin() [1/2]
auto knowrob::QueryTree::Path::begin |
( |
| ) |
const |
|
inline |
- Returns
- begin iterator over literals in a path.
Definition at line 88 of file QueryTree.h.
std::vector< FormulaPtr > nodes_
◆ begin() [2/2]
auto knowrob::QueryTree::Path::begin |
( |
| ) |
const |
|
inline |
- Returns
- begin iterator over literals in a path.
Definition at line 88 of file QueryTree.h.
◆ end() [1/2]
auto knowrob::QueryTree::Path::end |
( |
| ) |
const |
|
inline |
- Returns
- end iterator over literals in a path.
Definition at line 93 of file QueryTree.h.
◆ end() [2/2]
auto knowrob::QueryTree::Path::end |
( |
| ) |
const |
|
inline |
- Returns
- end iterator over literals in a path.
Definition at line 93 of file QueryTree.h.
◆ nodes() [1/2]
const auto& knowrob::QueryTree::Path::nodes |
( |
| ) |
const |
|
inline |
- Returns
- list of literals
Definition at line 83 of file QueryTree.h.
◆ nodes() [2/2]
const auto& knowrob::QueryTree::Path::nodes |
( |
| ) |
const |
|
inline |
- Returns
- list of literals
Definition at line 83 of file QueryTree.h.
◆ numNodes() [1/2]
auto knowrob::QueryTree::Path::numNodes |
( |
| ) |
const |
|
inline |
- Returns
- number of literals in this path
Definition at line 78 of file QueryTree.h.
◆ numNodes() [2/2]
auto knowrob::QueryTree::Path::numNodes |
( |
| ) |
const |
|
inline |
- Returns
- number of literals in this path
Definition at line 78 of file QueryTree.h.
◆ toFormula() [1/2]
std::shared_ptr< Formula > QueryTree::Path::toFormula |
( |
| ) |
const |
Definition at line 200 of file QueryTree.cpp.
203 }
else if (
nodes_.size() == 1) {
206 return std::make_shared<Conjunction>(
nodes_);
static const std::shared_ptr< Top > & get()
◆ toFormula() [2/2]
std::shared_ptr<Formula> knowrob::QueryTree::Path::toFormula |
( |
| ) |
const |
◆ QueryTree
◆ nodes_
std::vector< FormulaPtr > knowrob::QueryTree::Path::nodes_ |
|
protected |
The documentation for this class was generated from the following files: