|
Tree Compression with Top Trees Revisited
|
Navigate around in an in-memory Top DAG. More...
#include <Navigation.h>
Public Types | |
| using | DAGType = TopDag< DataType > |
| using | DStackT = std::stack< NavigationRecord > |
| using | TStackT = std::deque< DStackT > |
Public Member Functions | |
| Navigator (const DAGType &dag) | |
| Create a new navigator for the given Top DAG. More... | |
| const DataType * | getLabel () const |
| Retrieve the current node's label. More... | |
| bool | parent () |
| bool | isLeaf () |
| Check whether the current node is a leaf in the tree. More... | |
| bool | firstChild () |
| bool | nextSibling () |
| void | dumpDagStack () |
| Debug helper to dump the DAG stack. More... | |
| long long | getTreeStackSize () const |
| Debug helper to retrieve tree stack size. More... | |
| long long | getMaxTreeStackSize () const |
| Debug helper to return largest tree stack size encountered. More... | |
Navigate around in an in-memory Top DAG.
Definition at line 28 of file Navigation.h.
Definition at line 30 of file Navigation.h.
| using Navigator< DataType >::DStackT = std::stack<NavigationRecord> |
Definition at line 31 of file Navigation.h.
Definition at line 32 of file Navigation.h.
Create a new navigator for the given Top DAG.
Definition at line 35 of file Navigation.h.
|
inline |
Debug helper to dump the DAG stack.
Definition at line 159 of file Navigation.h.
|
inline |
Move to the current node's first child
Definition at line 89 of file Navigation.h.
|
inline |
Retrieve the current node's label.
Definition at line 48 of file Navigation.h.
|
inline |
Debug helper to return largest tree stack size encountered.
Definition at line 180 of file Navigation.h.
|
inline |
Debug helper to retrieve tree stack size.
Definition at line 170 of file Navigation.h.
|
inline |
Check whether the current node is a leaf in the tree.
Definition at line 65 of file Navigation.h.
|
inline |
Move to the current node's next sibling
Definition at line 120 of file Navigation.h.
|
inline |
Move to the current node's parent
Definition at line 54 of file Navigation.h.
1.8.9.1