diff options
Diffstat (limited to 'src/nodedumper.cc')
| -rw-r--r-- | src/nodedumper.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/nodedumper.cc b/src/nodedumper.cc index 66a8406..0e66e5b 100644 --- a/src/nodedumper.cc +++ b/src/nodedumper.cc @@ -86,6 +86,10 @@ const string &NodeDumper::getDump() const return this->cache[*this->root]; } +/*! + Adds this given node to its parent's child list. + Should be called for all nodes, including leaf nodes. +*/ void NodeDumper::handleVisitedChildren(const State &state, const AbstractNode &node) { if (state.isPostfix()) { |