CVC3::ExprManagerNotifyObj Class Reference

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

#include <expr_manager.h>

Inheritance diagram for CVC3::ExprManagerNotifyObj:

[legend]Collaboration diagram for CVC3::ExprManagerNotifyObj:

[legend]List of all members.

Public Member Functions

• ExprManagerNotifyObj (ExprManager *em, Context *cxt)

  Constructor.
  

• void notifyPre (void)
• void notify (void)

Private Attributes

• ExprManager * d_em

---

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 401 of file expr_manager.h.

---

Member Data Documentation

ExprManager* CVC3::ExprManagerNotifyObj::d_em [private]

Definition at line 402 of file expr_manager.h.

Referenced by notify(), and notifyPre().

---

The documentation for this class was generated from the following files:

• expr_manager.h
• expr_manager.cpp

---