CVCL::VariableManager Class Reference

#include <variable.h>

Collaboration diagram for CVCL::VariableManager:

[legend]List of all members.

Public Member Functions

• VariableManager (ContextManager *cm, SearchEngineRules *rules, const std::string &mmFlag)
• ~VariableManager ()
• void gc (VariableValue *v)

  Garbage collect VariableValue pointer.
  

• void postponeGC ()

  Postpone garbage collection.
  

• void resumeGC ()

  Resume garbage collection.
  

• ContextManager * getCM () const
• SearchEngineRules * getRules () const

Private Types

• typedef std::hash_set< VariableValue *,
  HashLV, EqLV > VariableValueSet

Private Member Functions

• VariableValue * newVariableValue (const Expr &e)

Private Attributes

• ContextManager * d_cm
• MemoryManager * d_mm
• SearchEngineRules * d_rules
• VariableManagerNotifyObj * d_notifyObj
• bool d_disableGC

  Disable the garbage collection.
  

• bool d_postponeGC

  Postpone garbage collection.
  

• std::vector< VariableValue * > d_deleted

  Vector of variables to be deleted (postponed during pop()).
  

• VariableValueSet d_varSet

Friends

• class Variable
• class VariableValue

Classes

• class EqLV
• class HashLV

---

Detailed Description

Definition at line 368 of file variable.h.

---

Member Typedef Documentation

typedef std::hash_set<VariableValue*, HashLV, EqLV> CVCL::VariableManager::VariableValueSet [private]

Definition at line 398 of file variable.h.

---

Constructor & Destructor Documentation

CVCL::VariableManager::VariableManager (  ContextManager *  cm, SearchEngineRules *  rules, const std::string &  mmFlag )

CVCL::VariableManager::~VariableManager (   )

Definition at line 388 of file variable.cpp. References d_disableGC, d_mm, d_notifyObj, and d_varSet.

---

Member Function Documentation

VariableValue * CVCL::VariableManager::newVariableValue (  const Expr &  e  )  [private]

Definition at line 365 of file variable.cpp. References d_mm, d_varSet, and VariableValue.

void CVCL::VariableManager::gc (  VariableValue *  v  )

Garbage collect VariableValue pointer. Definition at line 408 of file variable.cpp. References d_deleted, d_disableGC, d_mm, d_postponeGC, d_varSet, and CVCL::MemoryManager::deleteData(). Referenced by CVCL::Variable::operator=(), and CVCL::Variable::~Variable().

void CVCL::VariableManager::postponeGC (   )  [inline]

Postpone garbage collection. Definition at line 414 of file variable.h. References d_postponeGC. Referenced by CVCL::VariableManagerNotifyObj::notifyPre().

void CVCL::VariableManager::resumeGC (   )

Resume garbage collection. Definition at line 421 of file variable.cpp. References d_deleted, d_mm, d_postponeGC, and CVCL::MemoryManager::deleteData(). Referenced by CVCL::VariableManagerNotifyObj::notify().

ContextManager* CVCL::VariableManager::getCM (   )  const [inline]

Definition at line 418 of file variable.h. References d_cm. Referenced by CVCL::VariableValue::setAssumpThm(), and CVCL::VariableValue::setValue().

SearchEngineRules* CVCL::VariableManager::getRules (   )  const [inline]

Definition at line 419 of file variable.h. References d_rules. Referenced by CVCL::Variable::deriveThmRec().

---

Friends And Related Function Documentation

friend class Variable [friend]

Definition at line 369 of file variable.h.

friend class VariableValue [friend]

Definition at line 370 of file variable.h. Referenced by newVariableValue().

---

Member Data Documentation

ContextManager* CVCL::VariableManager::d_cm [private]

Definition at line 372 of file variable.h. Referenced by getCM().

MemoryManager* CVCL::VariableManager::d_mm [private]

Definition at line 373 of file variable.h. Referenced by gc(), newVariableValue(), resumeGC(), and ~VariableManager().

SearchEngineRules* CVCL::VariableManager::d_rules [private]

Definition at line 374 of file variable.h. Referenced by getRules().

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

Definition at line 375 of file variable.h. Referenced by ~VariableManager().

bool CVCL::VariableManager::d_disableGC [private]

Disable the garbage collection. Normally, it's set in the destructor, so that we can delete all remaining variables without GC getting in the way Definition at line 380 of file variable.h. Referenced by gc(), and ~VariableManager().

bool CVCL::VariableManager::d_postponeGC [private]

Postpone garbage collection. Definition at line 382 of file variable.h. Referenced by gc(), postponeGC(), and resumeGC().

std::vector<VariableValue*> CVCL::VariableManager::d_deleted [private]

Vector of variables to be deleted (postponed during pop()). Definition at line 384 of file variable.h. Referenced by gc(), and resumeGC().

VariableValueSet CVCL::VariableManager::d_varSet [private]

Definition at line 399 of file variable.h. Referenced by gc(), newVariableValue(), and ~VariableManager().

---

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

• variable.h
• variable.cpp

---