Definition at line 81 of file GaSatSolver.cpp.
Static Public Member Functions | |
static float | fitness (GAGenome &) |
Public Attributes | |
SatProblem * | problem |
GaSatSolver * | solver |
float | maxFitness |
GA1DBinaryStringGenome * | genome |
TGeneticAlgorithm * | ga |
SatItemSet * | resultSet |
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().
Definition at line 82 of file GaSatSolver.cpp.
Referenced by GaSatSolver::Private::fitness(), GaSatSolver::GaSatSolver(), and GaSatSolver::getProblem().
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().
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().
Definition at line 87 of file GaSatSolver.cpp.
Referenced by GaSatSolver::Private::fitness(), GaSatSolver::GaSatSolver(), GaSatSolver::getSolutionsCount(), GaSatSolver::getSolutionVector(), and GaSatSolver::~GaSatSolver().