| AbstractProcess | Base class of simple multi-step process |
| AbstractProcess::Private | |
| AbstractProcessWatched | Multi-step process with time-watch extension |
| AbstractProcessWatched::Private | |
| AbstractSatSolver | SAT Solver base class |
| AbstractSubject | Simple subject's base class |
| AbstractSubject::Private | |
| BlindSatSolver | Solver using brute force method to solve SAT problem |
| BlindSatSolver::Private | |
| Cmd | |
| CmdBinary | |
| CmdConstant | |
| CmdList | |
| CmdUnaryNot | |
| CmdVariable | |
| FitnessWatch | Observer which write out message when maxFitness value is increased |
| FitnessWatch::Private | |
| FormulaContainer | Container for evaluable formulas |
| FormulaContainer::Private | |
| GaSatItem | ISatItem implementation used by GaSatSolver |
| GaSatItem::Private | |
| GaSatSolver | Solver using GAlib library to solve SAT problem |
| GaSatSolver::Private | |
| GenericException | Common-usage exception containing error message inside |
| IFormulaBuilder | Interpreted formula's interface for parser which can read it |
| IFormulaEvaluator | Evaluable formula's interface |
| InterpretedFormula | Interpreted formula implementation |
| InterpretedFormula::Private | |
| IObserver | Simple observer's base class |
| IProcess | Continous process interface |
| ISatItem | Abstraction of solution candidate |
| IScanner | Extensible lexical scanner's interface |
| IStopWatch | Interface of time-watchable activity |
| ISubject | Simple observer's subject base class |
| LongSatItem | ISatItem implementation used by BlindSatSolver |
| ParserStack | |
| ProgressWatch | Observer which write out progress percentage when it is changed |
| ProgressWatch::Private | |
| RawScanner | Low-level scanner parses lexical units from opened file |
| RawScanner::Private | |
| ResultsWatch | Observer which write out message when solution is found |
| ResultsWatch::Private | |
| SatItemGalibAdatper | Leightweight, optimized ISatItem implementation used by GaSatSolver time-critical parts of code |
| SatItemSet | Associative array for ISatItem objects |
| SatItemSet::Private | |
| SatItemSet::Private::SatItemHashDecorator | |
| SatItemVector | Linear storage container for ISatItem objects |
| SatItemVector::Private | |
| SatProblem | SAT Problem module's facade |
| SatProblem::Private | |
| ScannerFormulaHandler | High-level part of parser handling almost all tokens and building InterpretedFormula objects |
| ScannerFormulaHandler::Private | |
| ScannerStringHandler | Part of parser handling keywords and variable names |
| ScannerStringHandler::Private | |
| SolutionsCountStop | Observer which stop solver after specified count of solutions is found |
| SolutionsCountStop::Private | |
| Color | Console output color manipulator |
| Color::Private | |
| FixedFloat | High-level stream manipulator for fixed floats |
| FixedFloat::Private | |
| TimedStop | Observer which stops process after specified time |
| TimedStop::Private | |
| Token | Syntax unit representation - also called token |
| VariableContainer | Container for variables names |
| VariableContainer::Private | |
| RandGenerator |
1.5.4