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)
- void notifyPre (void)
- void notify (void)
- unsigned long getMemory (int verbosity)
Private Attributes
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.
Member Data Documentation
ExprManager* CVC3::ExprManagerNotifyObj::d_em [private] |
Definition at line 430 of file expr_manager.h.
The documentation for this class was generated from the following files:
