CVC3::VariableManagerNotifyObj Class Reference

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

#include <variable.h>

Inheritance diagram for CVC3::VariableManagerNotifyObj:

Inheritance graph
[legend]
Collaboration diagram for CVC3::VariableManagerNotifyObj:

Collaboration graph
[legend]
List of all members.

Public Member Functions

Private Attributes


Detailed Description

Notifies VariableManager before and after each pop().

Author: Sergey Berezin

Created: Tue Mar 1 13:52:28 2005

Disables the deletion of VariableValue objects during context restoration (backtracking). This solves the problem of circular dependencies (e.g. a Variable pointing to its antecedent Clause).

Definition at line 432 of file variable.h.


Constructor & Destructor Documentation

CVC3::VariableManagerNotifyObj::VariableManagerNotifyObj ( VariableManager vm,
Context cxt 
) [inline]

Constructor.

Definition at line 436 of file variable.h.


Member Function Documentation

void CVC3::VariableManagerNotifyObj::notifyPre ( void   )  [inline, virtual]

Reimplemented from CVC3::ContextNotifyObj.

Definition at line 439 of file variable.h.

void CVC3::VariableManagerNotifyObj::notify ( void   )  [inline, virtual]

Reimplemented from CVC3::ContextNotifyObj.

Definition at line 440 of file variable.h.


Member Data Documentation

VariableManager* CVC3::VariableManagerNotifyObj::d_vm [private]

Definition at line 433 of file variable.h.


The documentation for this class was generated from the following file:
Generated on Wed Nov 18 16:17:28 2009 for CVC3 by  doxygen 1.5.2