GaSatSolver::Private Struct Reference

Collaboration diagram for GaSatSolver::Private:

Collaboration graph
[legend]

List of all members.


Detailed Description

Definition at line 81 of file GaSatSolver.cpp.


Static Public Member Functions

static float fitness (GAGenome &)

Public Attributes

SatProblemproblem
GaSatSolversolver
float maxFitness
GA1DBinaryStringGenome * genome
TGeneticAlgorithmga
SatItemSetresultSet

Member Function Documentation

float fitness ( GAGenome &  genome  )  [static]

Definition at line 165 of file GaSatSolver.cpp.

References SatItemSet::addItem(), SatProblem::getFormulasCount(), SatProblem::getSatsCount(), GaSatSolver::Private::maxFitness, AbstractSubject::notify(), GaSatSolver::Private::problem, GaSatSolver::Private::resultSet, and GaSatSolver::Private::solver.

Referenced by GaSatSolver::GaSatSolver().


Member Data Documentation

SatProblem* problem

Definition at line 82 of file GaSatSolver.cpp.

Referenced by GaSatSolver::Private::fitness(), GaSatSolver::GaSatSolver(), and GaSatSolver::getProblem().

GaSatSolver* solver

Definition at line 83 of file GaSatSolver.cpp.

Referenced by GaSatSolver::Private::fitness(), and GaSatSolver::GaSatSolver().

float maxFitness

Definition at line 84 of file GaSatSolver.cpp.

Referenced by GaSatSolver::Private::fitness(), GaSatSolver::GaSatSolver(), GaSatSolver::initialize(), and GaSatSolver::maxFitness().

GA1DBinaryStringGenome* genome

Definition at line 85 of file GaSatSolver.cpp.

Referenced by GaSatSolver::GaSatSolver(), and GaSatSolver::~GaSatSolver().

TGeneticAlgorithm* ga

Definition at line 86 of file GaSatSolver.cpp.

Referenced by GaSatSolver::avgFitness(), GaSatSolver::doStep(), GaSatSolver::GaSatSolver(), GaSatSolver::getStatistics(), GaSatSolver::initialize(), GaSatSolver::minFitness(), and GaSatSolver::~GaSatSolver().

SatItemSet* resultSet

Definition at line 87 of file GaSatSolver.cpp.

Referenced by GaSatSolver::Private::fitness(), GaSatSolver::GaSatSolver(), GaSatSolver::getSolutionsCount(), GaSatSolver::getSolutionVector(), and GaSatSolver::~GaSatSolver().


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