FitnessWatch::Private Struct Reference

Collaboration diagram for FitnessWatch::Private:

Collaboration graph
[legend]

List of all members.


Detailed Description

Definition at line 76 of file SatSolverObserver.cpp.


Public Member Functions

 Private (std::ostream &streamTo)

Public Attributes

AbstractSatSolversolver
std::ostream & stream
float maxFitness

Constructor & Destructor Documentation

Private ( std::ostream &  streamTo  )  [inline]

Definition at line 81 of file SatSolverObserver.cpp.


Member Data Documentation

AbstractSatSolver* solver

Definition at line 77 of file SatSolverObserver.cpp.

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

std::ostream& stream

Definition at line 78 of file SatSolverObserver.cpp.

Referenced by FitnessWatch::notify().

float maxFitness

Definition at line 79 of file SatSolverObserver.cpp.

Referenced by FitnessWatch::FitnessWatch(), FitnessWatch::notify(), and FitnessWatch::reset().


The documentation for this struct was generated from the following file:
Generated on Wed Nov 5 22:30:22 2008 for Fast SAT Solver by  doxygen 1.5.4