diff options
| author | Marius Kintel <marius@kintel.net> | 2010-03-19 03:07:38 (GMT) |
|---|---|---|
| committer | Marius Kintel <marius@kintel.net> | 2010-10-31 00:42:34 (GMT) |
| commit | 3396706e248d4baccf08707103deae378181b299 (patch) | |
| tree | 32e812dbed8fa2188fcf66fd5991f6e74b4fb920 /src/nodedumper.cc | |
| parent | 311d1befb425a684349fcd7255bb76217ac9f4b6 (diff) | |
Added CGALRenderer + some minor fixes
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()) { |