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 |