BlindSatSolver::Private Struct Reference

Collaboration diagram for BlindSatSolver::Private:

Collaboration graph
[legend]

List of all members.


Detailed Description

Definition at line 51 of file BlindSatSolver.cpp.


Public Member Functions

void init ()

Public Attributes

SatProblemproblem
int stepWidth
long end
long current
float minFitness
float maxFitness
double sumFitness
SatItemVector resultSet

Member Function Documentation

void init (  )  [inline]

Definition at line 61 of file BlindSatSolver.cpp.

Referenced by BlindSatSolver::BlindSatSolver(), and BlindSatSolver::initialize().


Member Data Documentation

SatProblem* problem

Definition at line 52 of file BlindSatSolver.cpp.

Referenced by BlindSatSolver::BlindSatSolver(), BlindSatSolver::doStep(), and BlindSatSolver::getProblem().

int stepWidth

Definition at line 53 of file BlindSatSolver.cpp.

Referenced by BlindSatSolver::BlindSatSolver(), and BlindSatSolver::doStep().

long end

Definition at line 54 of file BlindSatSolver.cpp.

Referenced by BlindSatSolver::BlindSatSolver(), and BlindSatSolver::doStep().

long current

Definition at line 55 of file BlindSatSolver.cpp.

Referenced by BlindSatSolver::avgFitness(), and BlindSatSolver::doStep().

float minFitness

Definition at line 56 of file BlindSatSolver.cpp.

Referenced by BlindSatSolver::doStep(), and BlindSatSolver::minFitness().

float maxFitness

Definition at line 57 of file BlindSatSolver.cpp.

Referenced by BlindSatSolver::doStep(), and BlindSatSolver::maxFitness().

double sumFitness

Definition at line 58 of file BlindSatSolver.cpp.

Referenced by BlindSatSolver::avgFitness(), and BlindSatSolver::doStep().

SatItemVector resultSet

Definition at line 59 of file BlindSatSolver.cpp.

Referenced by BlindSatSolver::doStep(), BlindSatSolver::getSolutionsCount(), BlindSatSolver::getSolutionVector(), and BlindSatSolver::initialize().


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