CVC3
Public Member Functions | Private Attributes

CVC3::SearchSat::Restorer Class Reference

Inherits CVC3::ContextNotifyObj.

Collaboration diagram for CVC3::SearchSat::Restorer:
Collaboration graph
[legend]

List of all members.

Public Member Functions

Private Attributes


Detailed Description

Definition at line 159 of file search_sat.h.


Constructor & Destructor Documentation

CVC3::SearchSat::Restorer::Restorer ( Context context,
SearchSat ss 
) [inline]

Definition at line 162 of file search_sat.h.


Member Function Documentation

void CVC3::SearchSat::Restorer::notifyPre ( void  ) [inline, virtual]

Reimplemented from CVC3::ContextNotifyObj.

Definition at line 164 of file search_sat.h.

References d_ss, and CVC3::SearchSat::restorePre().

void CVC3::SearchSat::Restorer::notify ( void  ) [inline, virtual]

Reimplemented from CVC3::ContextNotifyObj.

Definition at line 165 of file search_sat.h.

References d_ss, and CVC3::SearchSat::restore().


Member Data Documentation

Definition at line 160 of file search_sat.h.

Referenced by notify(), and notifyPre().


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