CVC3  2.4.1
Public Member Functions | Private Attributes | List of all members
CVC3::ExprManagerNotifyObj Class Reference

Notifies ExprManager before and after each pop() More...

#include <expr_manager.h>

Inheritance diagram for CVC3::ExprManagerNotifyObj:
CVC3::ContextNotifyObj

Public Member Functions

 ExprManagerNotifyObj (ExprManager *em, Context *cxt)
 Constructor. More...
 
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

ExprManagerd_em
 

Additional Inherited Members

- Protected Attributes inherited from CVC3::ContextNotifyObj
Contextd_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: