ResultsWatch Class Reference
[SAT Solver]

#include <SatSolverObserver.h>

Inheritance diagram for ResultsWatch:

[legend]

Collaboration diagram for ResultsWatch:

[legend]

List of all members.

---

Detailed Description

Observer which write out message when solution is found.

Definition at line 120 of file SatSolverObserver.h.

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

---

Constructor & Destructor Documentation

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

Parameters:

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

Definition at line 138 of file SatSolverObserver.cpp.

References ResultsWatch::Private::nResults, and ResultsWatch::Private::solver.

~ResultsWatch

(

)

[virtual]

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

References FastSatSolver::StreamDecorator::C_LIGHT_BLUE, AbstractSatSolver::getSolutionsCount(), AbstractProcessWatched::getTimeElapsed(), ResultsWatch::Private::nResults, ResultsWatch::Private::solver, and ResultsWatch::Private::stream.

---

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

• SatSolverObserver.h
• SatSolverObserver.cpp

---