CVC3::SearchSat::Restorer Class Reference

Inherits CVC3::ContextNotifyObj.

Collaboration diagram for CVC3::SearchSat::Restorer:

List of all members.

Public Member Functions

• Restorer (Context *context, SearchSat *ss)
• void notifyPre ()
• void notify ()

Private Attributes

• SearchSat * d_ss

---

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

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