|
OKlibrary
0.2.1.6
|
Classes | |
| class | Statistics |
| Class for gathering statistics about input/output (especially in DIMACS format). More... | |
| class | FullStatistics |
| Class for gathering "all" statistics about input/output (especially in DIMACS format). More... | |
| class | CLSAdaptorStatistics |
| Adaptor for clause-sets which only gathers the basic ncl-statistics. More... | |
| class | CLSAdaptorPreciseStatistics |
| Adaptor for clause-sets gathering (basic) statistics in all forms. More... | |
| class | CLSAdaptorFullStatistics |
| Adaptor for clause-sets which gathers "all" statistics. More... | |
| class | CLSAdaptorDIMACSOutput |
| Adaptor for clause-sets for output in DIMACS format. More... | |
| class | CLSAdaptorDIMACSFileOutput |
| Adaptor for clause-sets for file-output in DIMACS format. More... | |
| class | RawDimacsCLSAdaptor |
Adaptor which turns Dimacs input into a std::vector<std::vector<int> > . More... | |
| class | RawDimacsCLSAdaptorSets |
Adaptor which turns Dimacs input into a std::set<std::set<int> > . More... | |
| class | LiteralReadingStrict |
| Standard policy for reading a Dimacs-literal. More... | |
| class | LiteralReadingExtended |
| Extended policy, which allows arbitrary strings as variables. More... | |
| class | StandardDIMACSInput |
| Parsing an input stream containing a cnf formula in DIMACS format and transferring it to a CLS-adaptor. More... | |
| class | ListTransfer |
| Transfers a sequence of sequences of literals to a CLSAdaptor. More... | |
| class | List2DIMACSOutput |
| Transfers a clause-set as a sequence of sequences to an output-stream in Dimacs format. More... | |
| class | Test_StandardDIMACSInput |
| Test the standard DIMACS cnf reader. More... | |
| struct | InputOutputError |
| struct | InputError |
| struct | OutputError |
| struct | IStreamError |
| struct | OStreamError |
| struct | DimacsInputError |
| struct | DimacsOutputError |
| struct | CommentInputError |
| struct | ParameterInputError |
| struct | ClauseInputError |
| struct | ParameterOutputError |
| struct | ClauseOutputError |
| class | CLSAdaptorFilter |
| class | CLSAdaptorRandomShuffle |
| Adaptor which sorts the clause-list given to it. More... | |
| class | AllEqual |
| Predicate-functor which is constant false for all inputs. More... | |
| class | CLSAdaptorSortByClauseLength |
| Adaptor which sorts the clause-list given to it. More... | |
| class | CLSAdaptorSortByClauseLengthDescending |
Enumerations | |
| enum | output_options { full_output = 1, no_zeros = 2, no_initfinal_zeros = 3 } |
Variables | |
| OKlib::InputOutput::Test_StandardDIMACSInput < OKlib::InputOutput::StandardDIMACSInput > | test_standard_dimacs_input |
Definition at line 248 of file ClauseSetAdaptors.hpp.