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.h | |
| parent | 311d1befb425a684349fcd7255bb76217ac9f4b6 (diff) | |
Added CGALRenderer + some minor fixes
Diffstat (limited to 'src/nodedumper.h')
| -rw-r--r-- | src/nodedumper.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/nodedumper.h b/src/nodedumper.h index ac965ca..a28b8ad 100644 --- a/src/nodedumper.h +++ b/src/nodedumper.h @@ -20,6 +20,7 @@ public: virtual Response visit(const State &state, const AbstractNode &node); const string &getDump() const; + const NodeCache<string> &getCache() const { return this->cache; } private: void handleVisitedChildren(const State &state, const AbstractNode &node); bool isCached(const AbstractNode &node); |