diff options
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); |