diff options
Diffstat (limited to 'src/printer/dagification_visitor.h')
-rw-r--r-- | src/printer/dagification_visitor.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/printer/dagification_visitor.h b/src/printer/dagification_visitor.h index 18f31e662..6df5f32b4 100644 --- a/src/printer/dagification_visitor.h +++ b/src/printer/dagification_visitor.h @@ -21,6 +21,7 @@ #include <string> #include <unordered_map> +#include <unordered_set> #include <vector> #include "expr/node.h" @@ -69,6 +70,12 @@ class DagificationVisitor { std::unordered_map<TNode, unsigned, TNodeHashFunction> d_nodeCount; /** + * The set of variable names with the let prefix that appear in the + * expression. + */ + std::unordered_set<std::string> d_reservedLetNames; + + /** * The top-most node we are visiting. */ TNode d_top; |