IObserver Interface Reference
[SAT Solver]

#include <SatSolver.h>

Inheritance diagram for IObserver:

[legend]

List of all members.

---

Detailed Description

Simple observer's base class.

Note:

Design pattern observer.

Definition at line 72 of file SatSolver.h.

Public Member Functions
virtual	~IObserver ()
virtual void	notify ()=0
	Event notification, usually called by object implementing ISubject interface.

---

Constructor & Destructor Documentation

virtual ~IObserver

(

)

[inline, virtual]

Definition at line 74 of file SatSolver.h.

---

Member Function Documentation

virtual void notify

(

)

[pure virtual]

Event notification, usually called by object implementing ISubject interface.

Note:

Design pattern observer

Implemented in TimedStop, ProgressWatch, SolutionsCountStop, FitnessWatch, and ResultsWatch.

Referenced by AbstractSubject::notify().

---

The documentation for this interface was generated from the following file:

• SatSolver.h

---