SolutionsCountStop Class Reference
[SAT Solver]

#include <SatSolverObserver.h>

Inheritance diagram for SolutionsCountStop:

[legend]

Collaboration diagram for SolutionsCountStop:

[legend]

List of all members.

---

Detailed Description

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

Definition at line 83 of file SatSolverObserver.h.

Public Member Functions
	SolutionsCountStop (AbstractSatSolver *solver, int minCountOfSolutions)
virtual	~SolutionsCountStop ()
virtual void	notify ()
	Event notification, usually called by object implementing ISubject interface.
Classes
struct	Private

---

Constructor & Destructor Documentation

SolutionsCountStop	(	AbstractSatSolver *	solver,
		int	minCountOfSolutions
	)

Parameters:

	solver	Observed solver.
	minCountOfSolutions	Count of solutions to stop solver after.

Definition at line 36 of file SatSolverObserver.cpp.

References SolutionsCountStop::Private::minCountOfSolutions, and SolutionsCountStop::Private::solver.

~SolutionsCountStop

(

)

[virtual]

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

References AbstractSatSolver::getSolutionsCount(), SolutionsCountStop::Private::minCountOfSolutions, SolutionsCountStop::Private::solver, and AbstractProcessWatched::stop().

---

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

• SatSolverObserver.h
• SatSolverObserver.cpp

---