CVC3  2.4.1
Public Member Functions | Private Attributes | List of all members
CVC3::SearchEngineFast::ConflictClauseManager Class Reference
Inheritance diagram for CVC3::SearchEngineFast::ConflictClauseManager:
CVC3::ContextNotifyObj

Public Member Functions

 ConflictClauseManager (Context *context, SearchEngineFast *se)
 
void setRestorePoint ()
 
void notify ()
 
- Public Member Functions inherited from CVC3::ContextNotifyObj
 ContextNotifyObj (Context *context)
 
virtual ~ContextNotifyObj ()
 
virtual void notifyPre (void)
 
virtual unsigned long getMemory (int verbosity)
 

Private Attributes

SearchEngineFastd_se
 
std::vector< int > d_restorePoints
 

Additional Inherited Members

- Protected Attributes inherited from CVC3::ContextNotifyObj
Contextd_context
 

Detailed Description

Definition at line 150 of file search_fast.h.

Constructor & Destructor Documentation

CVC3::SearchEngineFast::ConflictClauseManager::ConflictClauseManager ( Context context,
SearchEngineFast se 
)
inline

Definition at line 154 of file search_fast.h.

Member Function Documentation

void SearchEngineFast::ConflictClauseManager::setRestorePoint ( )

Definition at line 42 of file search_fast.cpp.

References TRACE.

Referenced by CVC3::SearchEngineFast::checkValidInternal().

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

Reimplemented from CVC3::ContextNotifyObj.

Definition at line 53 of file search_fast.cpp.

References TRACE.

Member Data Documentation

SearchEngineFast* CVC3::SearchEngineFast::ConflictClauseManager::d_se
private

Definition at line 151 of file search_fast.h.

std::vector<int> CVC3::SearchEngineFast::ConflictClauseManager::d_restorePoints
private

Definition at line 152 of file search_fast.h.


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