CVC3  2.4.1
Public Member Functions | Private Attributes
CVC3::ExprManagerNotifyObj Class Reference

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

#include <expr_manager.h>

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

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.


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