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

SatProblem * problem
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