Notifies ExprManager before and after each pop() More...
#include <expr_manager.h>
Inherits CVC3::ContextNotifyObj.
Collaboration diagram for CVC3::ExprManagerNotifyObj:
Public Member Functions | |
| ExprManagerNotifyObj (ExprManager *em, Context *cxt) | |
| Constructor. | |
| void | notifyPre (void) |
| void | notify (void) |
| unsigned long | getMemory (int verbosity) |
 Public Member Functions inherited from CVC3::ContextNotifyObj | |
| ContextNotifyObj (Context *context) | |
| virtual | ~ContextNotifyObj () |
Private Attributes | |
| ExprManager * | d_em |
Additional Inherited Members | |
| Protected Attributes inherited from CVC3::ContextNotifyObj | |
| Context * | d_context |
Detailed Description
Notifies ExprManager before and after each pop()
Author: Sergey Berezin
Created: Tue Mar 1 12:29:14 2005
Disables the deletion of Exprs during context restoration (backtracking). This solves the problem of circular dependencies, e.g. in find pointers.
Definition at line 429 of file expr_manager.h.
The documentation for this class was generated from the following files:
