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

List of all members.

Public Member Functions

Private Attributes


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

Definition at line 151 of file search_fast.h.

Definition at line 152 of file search_fast.h.


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