CVCL::SearchSat::Restorer Class Reference

Inheritance diagram for CVCL::SearchSat::Restorer:

Inheritance graph
Collaboration diagram for CVCL::SearchSat::Restorer:

Collaboration graph
List of all members.

Public Member Functions

Private Attributes

Detailed Description

Definition at line 116 of file search_sat.h.

Constructor & Destructor Documentation

CVCL::SearchSat::Restorer::Restorer Context context,
SearchSat ss

Definition at line 119 of file search_sat.h.

Member Function Documentation

void CVCL::SearchSat::Restorer::notifyPre void   )  [inline, virtual]

Reimplemented from CVCL::ContextNotifyObj.

Definition at line 121 of file search_sat.h.

References CVCL::ContextNotifyObj::d_context, CVCL::SearchSat::d_inCheckSat, d_ss, CVCL::SearchSat::getBottomScope(), CVCL::Context::level(), and CVCL::SearchSat::restoreDPLLT().

Member Data Documentation

SearchSat* CVCL::SearchSat::Restorer::d_ss [private]

Definition at line 117 of file search_sat.h.

Referenced by notifyPre().

The documentation for this class was generated from the following file:
Generated on Thu Apr 13 16:57:43 2006 for CVC Lite by  doxygen 1.4.4