CVC3
|
Notifies ExprManager before and after each pop() More...
#include <expr_manager.h>
Inherits CVC3::ContextNotifyObj.
Public Member Functions | |
ExprManagerNotifyObj (ExprManager *em, Context *cxt) | |
Constructor. | |
void | notifyPre (void) |
void | notify (void) |
unsigned long | getMemory (int verbosity) |
![]() | |
ContextNotifyObj (Context *context) | |
virtual | ~ContextNotifyObj () |
Private Attributes | |
ExprManager * | d_em |
Additional Inherited Members | |
![]() | |
Context * | d_context |
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.