Notifies ExprManager before and after each pop(). More...
#include <expr_manager.h>
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 425 of file expr_manager.h.
ExprManager* CVC3::ExprManagerNotifyObj::d_em [private] |
Definition at line 426 of file expr_manager.h.
Referenced by notify(), and notifyPre().