ProgressWatch::Private Struct Reference

Collaboration diagram for ProgressWatch::Private:

[legend]

List of all members.

---

Detailed Description

Definition at line 162 of file SatSolverObserver.cpp.

Public Member Functions
	Private (std::ostream &streamTo)
Public Attributes
AbstractProcess *	process
int	stepsTotal
int	last
std::ostream &	stream

---

Constructor & Destructor Documentation

Private

(

std::ostream &

streamTo

)

[inline]

Definition at line 168 of file SatSolverObserver.cpp.

---

Member Data Documentation

AbstractProcess* process

Definition at line 163 of file SatSolverObserver.cpp.

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

int stepsTotal

Definition at line 164 of file SatSolverObserver.cpp.

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

int last

Definition at line 165 of file SatSolverObserver.cpp.

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

std::ostream& stream

Definition at line 166 of file SatSolverObserver.cpp.

Referenced by ProgressWatch::notify().

---

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

• SatSolverObserver.cpp

---