diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-10-04 20:33:50 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-10-06 11:56:39 -0400 |
commit | 5738d3d2f9e917829156e678cbf317f3a1a37c9a (patch) | |
tree | a1270a0330b80deaeb4c8feec7629c5f748ab367 /src/expr/symbol_table.cpp | |
parent | 54b2aac34e418108265dd43a956a7865c50b9cf4 (diff) |
Support for RESET command in CVC native language (and infrastructure for support elsewhere).
Diffstat (limited to 'src/expr/symbol_table.cpp')
-rw-r--r-- | src/expr/symbol_table.cpp | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/expr/symbol_table.cpp b/src/expr/symbol_table.cpp index ce7d571db..3d53f2e44 100644 --- a/src/expr/symbol_table.cpp +++ b/src/expr/symbol_table.cpp @@ -34,7 +34,7 @@ using namespace std; namespace CVC4 { SymbolTable::SymbolTable() : - d_context(new Context), + d_context(new Context()), d_exprMap(new(true) CDHashMap<std::string, Expr, StringHashFunction>(d_context)), d_typeMap(new(true) CDHashMap<std::string, pair<vector<Type>, Type>, StringHashFunction>(d_context)), d_functions(new(true) CDHashSet<Expr, ExprHashFunction>(d_context)) { @@ -206,4 +206,9 @@ size_t SymbolTable::getLevel() const throw() { return d_context->getLevel(); } +void SymbolTable::reset() { + this->SymbolTable::~SymbolTable(); + new(this) SymbolTable(); +} + }/* CVC4 namespace */ |