SolutionsCountStop::Private Struct Reference

Collaboration diagram for SolutionsCountStop::Private:

[legend]

List of all members.

---

Detailed Description

Definition at line 32 of file SatSolverObserver.cpp.

Public Attributes
AbstractSatSolver *	solver
int	minCountOfSolutions

---

Member Data Documentation

AbstractSatSolver* solver

Definition at line 33 of file SatSolverObserver.cpp.

Referenced by SolutionsCountStop::notify(), and SolutionsCountStop::SolutionsCountStop().

int minCountOfSolutions

Definition at line 34 of file SatSolverObserver.cpp.

Referenced by SolutionsCountStop::notify(), and SolutionsCountStop::SolutionsCountStop().

---

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

• SatSolverObserver.cpp

---