|
void | calcLeaves () |
|
void | remove (const std::shared_ptr< TreeNode > thisNode, const std::shared_ptr< TreeNode > otherNode) |
|
void | printChildren (std::ostream &out, const std::shared_ptr< TreeNode > top, const std::shared_ptr< int > idNode) const |
|
Create a new tree, with a root and a presenation layer
- Parameters
-
root | root of the tree |
presentationLayer | The presentation layer to use |
Append a list of input traces to EVERY node of the input tree. Do not create redundant input sequences that are already contained (possibly as a prefix) in the existing tree.
Insert a list of input traces at the root of the input tree. Do not create redundant input sequences that are already contained (possibly as a prefix) in the existing tree.
void Tree::calcLeaves |
( |
| ) |
|
|
protected |
Calculate the leaves of the all tree, calling calcLeaves on the root of the tree
std::vector< std::shared_ptr< TreeNode > > Tree::getLeaves |
( |
| ) |
|
Calculate the leaves, then give the leaves back
- Returns
- The leaves of this tree
std::shared_ptr< TreeNode > Tree::getRoot |
( |
| ) |
const |
Getter for the root of this tree
- Returns
- The root of this tree
Get the test cases of this tree
- Returns
- the test cases
void Tree::printChildren |
( |
std::ostream & |
out, |
|
|
const std::shared_ptr< TreeNode > |
top, |
|
|
const std::shared_ptr< int > |
idNode |
|
) |
| const |
|
protected |
Print every childran of this tree to a dot format into a standard output stream
- Parameters
-
out | The standard output stream to use |
top | The root of the tree |
idNode | The id of this node, used to differenciate node in dot format |
void Tree::remove |
( |
const std::shared_ptr< Tree > |
otherTree | ) |
|
Special remove operation.
- Parameters
-
otherTree | For all edges in otherTree that correspond to an edge in this tree, the corresponding source node and target node in this tree are marked as deleted. |
void Tree::toDot |
( |
std::ostream & |
out | ) |
|
Output this tree to a dot format, into a standard output stream
- Parameters
-
out | The standard output stream to use |
void Tree::unionTree |
( |
const std::shared_ptr< Tree > |
otherTree | ) |
|
Construct the union of this Tree and otherTree by adding every maximal input trace of otherTree to this inputTree.
std::vector<std::shared_ptr<TreeNode> > Tree::leaves |
|
protected |
The list of the leaves of this tree (empty, unless you call calcleaves)
The presentation layer used by this tree
The documentation for this class was generated from the following files:
- /Users/janpeleska/SharedFoldersWin/fsmlib-cpp/src/trees/Tree.h
- /Users/janpeleska/SharedFoldersWin/fsmlib-cpp/src/trees/Tree.cpp