CVC3
|
Notifies VariableManager before and after each pop() More...
#include <variable.h>
Inherits CVC3::ContextNotifyObj.
Public Member Functions | |
VariableManagerNotifyObj (VariableManager *vm, Context *cxt) | |
Constructor. | |
void | notifyPre (void) |
void | notify (void) |
![]() | |
ContextNotifyObj (Context *context) | |
virtual | ~ContextNotifyObj () |
virtual unsigned long | getMemory (int verbosity) |
Private Attributes | |
VariableManager * | d_vm |
Additional Inherited Members | |
![]() | |
Context * | d_context |
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.
|
inline |
Constructor.
Definition at line 436 of file variable.h.
|
inlinevirtual |
Reimplemented from CVC3::ContextNotifyObj.
Definition at line 439 of file variable.h.
References d_vm, and CVC3::VariableManager::postponeGC().
|
inlinevirtual |
Reimplemented from CVC3::ContextNotifyObj.
Definition at line 440 of file variable.h.
References d_vm, and CVC3::VariableManager::resumeGC().
|
private |
Definition at line 433 of file variable.h.
Referenced by notify(), and notifyPre().