FitnessWatch Class Reference
[SAT Solver]

#include <SatSolverObserver.h>

Inheritance diagram for FitnessWatch:

[legend]

Collaboration diagram for FitnessWatch:

[legend]

List of all members.

---

Detailed Description

Observer which write out message when maxFitness value is increased.

Definition at line 101 of file SatSolverObserver.h.

Public Member Functions
	FitnessWatch (AbstractSatSolver *solver, std::ostream &streamTo)
virtual	~FitnessWatch ()
virtual void	notify ()
	Event notification, usually called by object implementing ISubject interface.
void	reset ()
Classes
struct	Private

---

Constructor & Destructor Documentation

FitnessWatch	(	AbstractSatSolver *	solver,
		std::ostream &	streamTo
	)

Parameters:

	solver	Observed solver.
	streamTo	Standard output stream to write to.

Definition at line 83 of file SatSolverObserver.cpp.

References FitnessWatch::Private::maxFitness, and FitnessWatch::Private::solver.

~FitnessWatch

(

)

[virtual]

Definition at line 89 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 92 of file SatSolverObserver.cpp.

References AbstractSatSolver::avgFitness(), GaSatSolver::getStatistics(), AbstractProcessWatched::getTimeElapsed(), FitnessWatch::Private::maxFitness, AbstractSatSolver::maxFitness(), AbstractSatSolver::minFitness(), FitnessWatch::Private::solver, and FitnessWatch::Private::stream.

void reset

(

)

Definition at line 125 of file SatSolverObserver.cpp.

References FitnessWatch::Private::maxFitness.

Referenced by main().

---

The documentation for this class was generated from the following files:

• SatSolverObserver.h
• SatSolverObserver.cpp

---