CVCL::SearchEngineFast::ConflictClauseManager Class Reference
[Fast Search Engine]

Inheritance diagram for CVCL::SearchEngineFast::ConflictClauseManager:

[legend]Collaboration diagram for CVCL::SearchEngineFast::ConflictClauseManager:

[legend]List of all members.

Public Member Functions

• ConflictClauseManager (Context *context, SearchEngineFast *se)
• void setRestorePoint ()
• void notify ()

Private Attributes

• SearchEngineFast * d_se
• std::vector< int > d_restorePoints

---

Detailed Description

Definition at line 141 of file search_fast.h.

---

Constructor & Destructor Documentation

CVCL::SearchEngineFast::ConflictClauseManager::ConflictClauseManager (  Context *  context, SearchEngineFast *  se )  [inline]

Definition at line 145 of file search_fast.h.

---

Member Function Documentation

void SearchEngineFast::ConflictClauseManager::setRestorePoint (   )

Definition at line 49 of file search_fast.cpp. References CVCL::SearchEngineFast::d_conflictClauses, CVCL::SearchEngineFast::d_conflictClauseStack, d_restorePoints, d_se, CVCL::SearchImplBase::scopeLevel(), and CVCL::TRACE. Referenced by CVCL::SearchEngineFast::checkValidInternal().

void SearchEngineFast::ConflictClauseManager::notify (   )  [virtual]

Reimplemented from CVCL::ContextNotifyObj. Definition at line 60 of file search_fast.cpp. References CVCL::SearchEngineFast::d_conflictClauses, CVCL::SearchEngineFast::d_conflictClauseStack, d_restorePoints, d_se, CVCL::SearchImplBase::scopeLevel(), and CVCL::TRACE.

---

Member Data Documentation

SearchEngineFast* CVCL::SearchEngineFast::ConflictClauseManager::d_se [private]

Definition at line 142 of file search_fast.h. Referenced by notify(), and setRestorePoint().

std::vector<int> CVCL::SearchEngineFast::ConflictClauseManager::d_restorePoints [private]

Definition at line 143 of file search_fast.h. Referenced by notify(), and setRestorePoint().

---

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

• search_fast.h
• search_fast.cpp

---