CVC3
2.4.1
|
Public Member Functions | |
Restorer (Context *context, SearchSat *ss) | |
void | notifyPre () |
void | notify () |
![]() | |
ContextNotifyObj (Context *context) | |
virtual | ~ContextNotifyObj () |
virtual unsigned long | getMemory (int verbosity) |
Private Attributes | |
SearchSat * | d_ss |
Additional Inherited Members | |
![]() | |
Context * | d_context |
Definition at line 159 of file search_sat.h.
Definition at line 162 of file search_sat.h.
|
inlinevirtual |
Reimplemented from CVC3::ContextNotifyObj.
Definition at line 164 of file search_sat.h.
References CVC3::SearchSat::restorePre().
|
inlinevirtual |
Reimplemented from CVC3::ContextNotifyObj.
Definition at line 165 of file search_sat.h.
References CVC3::SearchSat::restore().
|
private |
Definition at line 160 of file search_sat.h.