CVC3::SearchSat::Restorer Class Reference

Inherits CVC3::ContextNotifyObj.

Collaboration diagram for CVC3::SearchSat::Restorer:

Public Member Functions
	Restorer (Context *context, SearchSat *ss)
void	notifyPre ()
void	notify ()
Public Member Functions inherited from CVC3::ContextNotifyObj
	ContextNotifyObj (Context *context)
virtual	~ContextNotifyObj ()
virtual unsigned long	getMemory (int verbosity)

Private Attributes
SearchSat *	d_ss

Additional Inherited Members
Protected Attributes inherited from CVC3::ContextNotifyObj
Context *	d_context

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  )

inlinevirtual

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  )

inlinevirtual

Reimplemented from CVC3::ContextNotifyObj.

Definition at line 165 of file search_sat.h.

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

Member Data Documentation

SearchSat* CVC3::SearchSat::Restorer::d_ss

private

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:

• search_sat.h