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

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

#include <variable.h>

Inheritance diagram for CVC3::VariableManagerNotifyObj:
CVC3::ContextNotifyObj

Public Member Functions

 VariableManagerNotifyObj (VariableManager *vm, Context *cxt)
 Constructor.
void notifyPre (void)
void notify (void)
- Public Member Functions inherited from CVC3::ContextNotifyObj
 ContextNotifyObj (Context *context)
virtual ~ContextNotifyObj ()
virtual unsigned long getMemory (int verbosity)

Private Attributes

VariableManagerd_vm

Additional Inherited Members

- Protected Attributes inherited from CVC3::ContextNotifyObj
Contextd_context

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  )
inlinevirtual

Reimplemented from CVC3::ContextNotifyObj.

Definition at line 439 of file variable.h.

References d_vm, and CVC3::VariableManager::postponeGC().

void CVC3::VariableManagerNotifyObj::notify ( void  )
inlinevirtual

Reimplemented from CVC3::ContextNotifyObj.

Definition at line 440 of file variable.h.

References d_vm, and CVC3::VariableManager::resumeGC().

Member Data Documentation

VariableManager* CVC3::VariableManagerNotifyObj::d_vm
private

Definition at line 433 of file variable.h.

Referenced by notify(), and notifyPre().


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