CVC3
2.4.1
|
Public Member Functions | |
ConflictClauseManager (Context *context, SearchEngineFast *se) | |
void | setRestorePoint () |
void | notify () |
![]() | |
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 | |
![]() | |
Context * | d_context |
Definition at line 150 of file search_fast.h.
|
inline |
Definition at line 154 of file search_fast.h.
void SearchEngineFast::ConflictClauseManager::setRestorePoint | ( | ) |
Definition at line 42 of file search_fast.cpp.
References TRACE.
Referenced by CVC3::SearchEngineFast::checkValidInternal().
|
virtual |
Reimplemented from CVC3::ContextNotifyObj.
Definition at line 53 of file search_fast.cpp.
References TRACE.
|
private |
Definition at line 151 of file search_fast.h.
|
private |
Definition at line 152 of file search_fast.h.