ProgressWatch Class Reference
[SAT Solver]

#include <SatSolverObserver.h>

Inheritance diagram for ProgressWatch:

[legend]

Collaboration diagram for ProgressWatch:

[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:

• SatSolverObserver.h
• SatSolverObserver.cpp

---