CVCL::VariableManagerNotifyObj Class Reference

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

#include <variable.h>

Inheritance diagram for CVCL::VariableManagerNotifyObj:

[legend]Collaboration diagram for CVCL::VariableManagerNotifyObj:

[legend]List of all members.

Public Member Functions

• VariableManagerNotifyObj (VariableManager *vm, Context *cxt)

  Constructor.
  

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

Private Attributes

• VariableManager * d_vm

---

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 437 of file variable.h.

---

Constructor & Destructor Documentation

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

Constructor. Definition at line 441 of file variable.h.

---

Member Function Documentation

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

Reimplemented from CVCL::ContextNotifyObj. Definition at line 444 of file variable.h. References d_vm, and CVCL::VariableManager::postponeGC().

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

Reimplemented from CVCL::ContextNotifyObj. Definition at line 445 of file variable.h. References d_vm, and CVCL::VariableManager::resumeGC().

---

Member Data Documentation

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

Definition at line 438 of file variable.h. Referenced by notify(), and notifyPre().

---

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

• variable.h

---