ResultsWatch Class Reference

#include <CaDesigner.h>

Inheritance diagram for ResultsWatch:

[legend]

List of all members.

---

Detailed Description

Observer which write out message when solution is found.

Note:

This code was copy-pasted from FSS (Fast SAT Solver) project.

Definition at line 398 of file CaDesigner.h.

Public Member Functions
	ResultsWatch (CaDesigner *solver, std::ostream &streamTo)
	Parameters: solver  Observed solver.
virtual	~ResultsWatch ()
virtual void	notify ()
	Event notification, usually called by object implementing ISubject interface.
Private Attributes
Private *	d

---

Constructor & Destructor Documentation

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

Parameters:

solver

Observed solver.

Parameters:

streamTo

Standard output stream to write to.

Definition at line 643 of file CaDesigner.cpp.

~ResultsWatch

(

)

[virtual]

Definition at line 650 of file CaDesigner.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 654 of file CaDesigner.cpp.

References C_LIGHT_BLUE, C_NO_COLOR, CaDesigner::getSolutionsCount(), CaDesigner::getStatistics(), and writeStats().

Here is the call graph for this function:

---

Member Data Documentation

Private* d [private]

Definition at line 409 of file CaDesigner.h.

---

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

• CaDesigner.h
• CaDesigner.cpp

---