Fixed some memory cleanup and destruction issues with ContextObj, ECData, CDList...
authorTim King <taking@cs.nyu.edu>
Tue, 23 Mar 2010 19:41:49 +0000 (19:41 +0000)
committerTim King <taking@cs.nyu.edu>
Tue, 23 Mar 2010 19:41:49 +0000 (19:41 +0000)
commite11bce2790fa9e517e08ae5d3c477da651db3630
treeffc4bb7cab3a6887c83fd3817c4cd79503d53a2c
parent9576517676138a8ca2887a967f1b056662ef6754
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
src/context/cdlist.h
src/context/cdmap.h
src/context/context.h
src/expr/node.h
src/expr/node_manager.cpp
src/expr/node_manager.h
src/expr/node_value.h
src/theory/uf/ecdata.h