diff options
author | Tim King <taking@cs.nyu.edu> | 2010-03-23 19:41:49 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2010-03-23 19:41:49 +0000 |
commit | e11bce2790fa9e517e08ae5d3c477da651db3630 (patch) | |
tree | ffc4bb7cab3a6887c83fd3817c4cd79503d53a2c /src/theory/uf | |
parent | 9576517676138a8ca2887a967f1b056662ef6754 (diff) |
Fixed some memory cleanup and destruction issues with ContextObj, ECData, CDList, and CDMap. Added the d_underTheShotgun field to NodeManager to keep track of which NodeValue is currently being deleted. If a Node or TNode has this node value, it can always be deleted. This avoids the need for introducing SoftNodes. Currently passes Debug and Production make check
Diffstat (limited to 'src/theory/uf')
-rw-r--r-- | src/theory/uf/ecdata.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/theory/uf/ecdata.h b/src/theory/uf/ecdata.h index 199b09164..248e1e545 100644 --- a/src/theory/uf/ecdata.h +++ b/src/theory/uf/ecdata.h @@ -175,6 +175,8 @@ public: */ ECData(context::Context* context, TNode n); + ~ECData() { Debug("ufgc") << "Calling ECData destructor" << std::endl;} + /** * An ECData takes over the watch list of another ECData. * This is the second step in the union operator for ECData. |