Definition at line 76 of file SatSolverObserver.cpp.
Public Member Functions | |
Private (std::ostream &streamTo) | |
Public Attributes | |
AbstractSatSolver * | solver |
std::ostream & | stream |
float | maxFitness |
Private | ( | std::ostream & | streamTo | ) | [inline] |
Definition at line 81 of file SatSolverObserver.cpp.
Definition at line 77 of file SatSolverObserver.cpp.
Referenced by FitnessWatch::FitnessWatch(), and FitnessWatch::notify().
std::ostream& stream |
float maxFitness |
Definition at line 79 of file SatSolverObserver.cpp.
Referenced by FitnessWatch::FitnessWatch(), FitnessWatch::notify(), and FitnessWatch::reset().