class CVC3::SmartCDO< T >
Author: Clark Barrett
Created: Fri Nov 12 17:33:31 2004
Wrapper for CDO which automatically allocates and deletes a pointer to a CDO. This allows the copy constructor and operator= to be defined which are especially useful for storing CDO's in vectors. All operations are const to enable use as a member of CDLists.
Be careful not to delete RefCDO during pop(), since this messes up the backtracking data structures. We delay the deletion by registering each RefCDO to be notified before and after each pop(). This makes the use of SmartCDO somewhat more expensive, so use it with care.
Definition at line 52 of file smartcdo.h.