Definition in file SatSolver.h.
#include <iostream>
Go to the source code of this file.
Namespaces | |
| namespace | FastSatSolver |
Classes | |
| interface | ISatItem |
| Abstraction of solution candidate. More... | |
| interface | IObserver |
| Simple observer's base class. More... | |
| interface | ISubject |
| Simple observer's subject base class. More... | |
| class | AbstractSubject |
| Simple subject's base class. More... | |
| interface | IProcess |
| Continous process interface. More... | |
| class | AbstractProcess |
| Base class of simple multi-step process. More... | |
| interface | IStopWatch |
| Interface of time-watchable activity. More... | |
| class | AbstractProcessWatched |
| Multi-step process with time-watch extension. More... | |
| class | SatItemVector |
| Linear storage container for ISatItem objects. More... | |
| class | SatItemSet |
| Associative array for ISatItem objects. More... | |
| class | AbstractSatSolver |
| SAT Solver base class. More... | |
1.5.4