ResultsWatch::Private Struct Reference

Collaboration diagram for ResultsWatch::Private:

[legend]

List of all members.

---

Detailed Description

Definition at line 131 of file SatSolverObserver.cpp.

Public Member Functions
	Private (std::ostream &streamTo)
Public Attributes
AbstractSatSolver *	solver
std::ostream &	stream
int	nResults

---

Constructor & Destructor Documentation

Private

(

std::ostream &

streamTo

)

[inline]

Definition at line 136 of file SatSolverObserver.cpp.

---

Member Data Documentation

AbstractSatSolver* solver

Definition at line 132 of file SatSolverObserver.cpp.

Referenced by ResultsWatch::notify(), and ResultsWatch::ResultsWatch().

std::ostream& stream

Definition at line 133 of file SatSolverObserver.cpp.

Referenced by ResultsWatch::notify().

int nResults

Definition at line 134 of file SatSolverObserver.cpp.

Referenced by ResultsWatch::notify(), and ResultsWatch::ResultsWatch().

---

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

• SatSolverObserver.cpp

---