CVC3::SearchEngineFast::ConflictClauseManager Class Reference

Inherits CVC3::ContextNotifyObj.

Collaboration diagram for CVC3::SearchEngineFast::ConflictClauseManager:

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
SearchEngineFast *	d_se
std::vector< int >	d_restorePoints

Additional Inherited Members
Protected Attributes inherited from CVC3::ContextNotifyObj
Context *	d_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:

• search_fast.h
• search_fast.cpp