ProgressWatch Class Reference
[SAT Solver]

#include <SatSolverObserver.h>

Inheritance diagram for ProgressWatch:

Inheritance graph
[legend]
Collaboration diagram for ProgressWatch:

Collaboration graph
[legend]

List of all members.


Detailed Description

Observer which write out progress percentage when it is changed.

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

Constructor & Destructor Documentation

ProgressWatch ( AbstractProcess process,
int  stepsTotal,
std::ostream &  streamTo 
)

Parameters:
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.


Member Function Documentation

void notify (  )  [virtual]

Event notification, usually called by object implementing ISubject interface.

Note:
Design pattern observer

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.


The documentation for this class was generated from the following files:
Generated on Wed Nov 5 22:30:22 2008 for Fast SAT Solver by  doxygen 1.5.4