CVCL::ExprManagerNotifyObj Class Reference

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

#include <expr_manager.h>

Inheritance diagram for CVCL::ExprManagerNotifyObj:

Inheritance graph
Collaboration diagram for CVCL::ExprManagerNotifyObj:

Collaboration graph
List of all members.

Public Member Functions

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

Member Data Documentation

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

Definition at line 399 of file expr_manager.h.

Referenced by notify(), and notifyPre().

The documentation for this class was generated from the following files:
Generated on Thu Apr 13 16:57:43 2006 for CVC Lite by  doxygen 1.4.4