Definition in file SatSolverObserver.h.
#include <iostream>
#include "SatSolver.h"
Go to the source code of this file.
Namespaces | |
| namespace | FastSatSolver |
Classes | |
| class | TimedStop |
| Observer which stops process after specified time. More... | |
| class | ProgressWatch |
| Observer which write out progress percentage when it is changed. More... | |
| class | SolutionsCountStop |
| Observer which stop solver after specified count of solutions is found. More... | |
| class | FitnessWatch |
| Observer which write out message when maxFitness value is increased. More... | |
| class | ResultsWatch |
| Observer which write out message when solution is found. More... | |
1.5.4