OKlibrary  0.2.1.6
OKlib::InputOutput Namespace Reference

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

Enumeration Type Documentation

Enumerator:
full_output 
no_zeros 
no_initfinal_zeros 

Definition at line 248 of file ClauseSetAdaptors.hpp.


Variable Documentation