Public Member Functions | Private Attributes

CVC3::SearchEngineFast::ConflictClauseManager Class Reference

Inherits CVC3::ContextNotifyObj.

Collaboration diagram for CVC3::SearchEngineFast::ConflictClauseManager:
Collaboration graph

List of all members.

Public Member Functions

Private Attributes

Detailed Description

Definition at line 153 of file search_fast.h.

Constructor & Destructor Documentation

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

Definition at line 157 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 154 of file search_fast.h.

Definition at line 155 of file search_fast.h.

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