#include <SatSolverObserver.h>
Definition at line 59 of file SatSolverObserver.h.
Public Member Functions | |
ProgressWatch (AbstractProcess *process, int stepsTotal, std::ostream &streamTo) | |
virtual | ~ProgressWatch () |
virtual void | notify () |
Event notification, usually called by object implementing ISubject interface. | |
Classes | |
struct | Private |
ProgressWatch | ( | AbstractProcess * | process, | |
int | stepsTotal, | |||
std::ostream & | streamTo | |||
) |
process | Observed process. | |
stepsTotal | Count of steps corresponding to 100% of progress. | |
streamTo | Standard output stream to write to. |
Definition at line 170 of file SatSolverObserver.cpp.
References ProgressWatch::Private::last, ProgressWatch::Private::process, and ProgressWatch::Private::stepsTotal.
~ProgressWatch | ( | ) | [virtual] |
Definition at line 177 of file SatSolverObserver.cpp.
void notify | ( | ) | [virtual] |
Event notification, usually called by object implementing ISubject interface.
Implements IObserver.
Definition at line 180 of file SatSolverObserver.cpp.
References FastSatSolver::StreamDecorator::C_GREEN, AbstractProcess::getStepsCount(), ProgressWatch::Private::last, ProgressWatch::Private::process, ProgressWatch::Private::stepsTotal, and ProgressWatch::Private::stream.