- b -

• bs : GaSatItem::Private

- c -

• cmdList : InterpretedFormula::Private
• color : Color::Private
• container : AbstractSubject::Private , FormulaContainer::Private
• current : ScannerFormulaHandler::Private , BlindSatSolver::Private
• currentIndex : VariableContainer::Private

- e -

• end : BlindSatSolver::Private
• errorDetected : InterpretedFormula::Private

- f -

• fc : SatProblem::Private , ScannerFormulaHandler::Private
• fd : RawScanner::Private
• fileName : SatProblem::Private

- g -

• ga : GaSatSolver::Private
• genome : GaSatSolver::Private

- h -

• hasError : SatProblem::Private

- i -

• ignoreToDelim : ScannerFormulaHandler::Private
• indexToName : VariableContainer::Private

- k -

• keyWordMap : ScannerStringHandler::Private

- l -

• last : ProgressWatch::Private
• line : RawScanner::Private

- m -

• m_ext_number : Token
• m_ext_text : Token
• m_line : Token
• m_token : Token
• maxFitness : FitnessWatch::Private , BlindSatSolver::Private , GaSatSolver::Private
• minCountOfSolutions : SolutionsCountStop::Private
• minFitness : BlindSatSolver::Private
• msec : TimedStop::Private

- n -

• nameToIndex : VariableContainer::Private
• nResults : ResultsWatch::Private

- p -

• parserStack : InterpretedFormula::Private
• precision : FixedFloat::Private
• problem : GaSatSolver::Private , BlindSatSolver::Private
• process : ProgressWatch::Private , TimedStop::Private

- r -

• RATIO : AbstractProcessWatched::Private
• resultSet : BlindSatSolver::Private , GaSatSolver::Private
• running : AbstractProcess::Private , AbstractProcessWatched::Private

- s -

• scanner : ScannerStringHandler::Private , ScannerFormulaHandler::Private
• set : SatItemSet::Private
• solver : GaSatSolver::Private , SolutionsCountStop::Private , FitnessWatch::Private , ResultsWatch::Private
• start : AbstractProcessWatched::Private
• state : RawScanner::Private
• steps : AbstractProcess::Private
• stepsTotal : ProgressWatch::Private
• stepWidth : BlindSatSolver::Private
• stream : FitnessWatch::Private , ResultsWatch::Private , ProgressWatch::Private
• sumFitness : BlindSatSolver::Private

- t -

• total : AbstractProcessWatched::Private

- v -

• vc : SatProblem::Private , ScannerStringHandler::Private
• vect : SatItemVector::Private

- w -

• width : FixedFloat::Private

---