SolutionsCountStop Class Reference

#include <CaDesigner.h>

Inheritance diagram for SolutionsCountStop:

[legend]

List of all members.

---

Detailed Description

Observer which stop solver after specified count of solutions is found.

Note:

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

Definition at line 359 of file CaDesigner.h.

Public Member Functions
	SolutionsCountStop (CaDesigner *solver, int minCountOfSolutions)
	Parameters: solver  Observed solver.
virtual	~SolutionsCountStop ()
virtual void	notify ()
	Event notification, usually called by object implementing ISubject interface.
Private Attributes
Private *	d

---

Constructor & Destructor Documentation

SolutionsCountStop	(	CaDesigner *	solver,
		int	minCountOfSolutions
	)

Parameters:

solver

Observed solver.

Parameters:

minCountOfSolutions

Count of solutions to stop solver after.

Definition at line 513 of file CaDesigner.cpp.

~SolutionsCountStop

(

)

[virtual]

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

---

Member Data Documentation

Private* d [private]

Definition at line 370 of file CaDesigner.h.

---

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

• CaDesigner.h
• CaDesigner.cpp

---