OKlibrary  0.2.1.6
OKlib::InputOutput::StandardDIMACSInput< CLSAdaptor, LiteralReadingPolicy, Int > Class Template Reference

Parsing an input stream containing a cnf formula in DIMACS format and transferring it to a CLS-adaptor. More...

#include <Dimacs.hpp>

List of all members.

Public Types

typedef CLSAdaptor cls_adaptor_type
typedef Int int_type
typedef cls_adaptor_type::int_type int_type_target

Public Member Functions

 StandardDIMACSInput (std::istream &in_stream, cls_adaptor_type &out, const bool check_par=true)

Public Attributes

const bool check_par

Detailed Description

template<class CLSAdaptor, template< typename Int > class LiteralReadingPolicy = LiteralReadingStrict, typename Int = int>
class OKlib::InputOutput::StandardDIMACSInput< CLSAdaptor, LiteralReadingPolicy, Int >

Parsing an input stream containing a cnf formula in DIMACS format and transferring it to a CLS-adaptor.

Constructing an object of this type means parsing an input-stream and transfer to a clause-set-adaptor.

Template parameters are:

  • CLSAdaptor : the parsed input is handed over to this adaptor.
  • LiteralReadingStrict : reads a literal-representation in the file, and transfers it into a integer-literal.
  • Int : the integer type for representing literals.
  • In case of check_par = false, the parameter-line in the input stream is just skipped (it is assumed that a line exists), and for its values the maximal values of CLSAdaptor::int_type is taken.

Definition at line 196 of file Dimacs.hpp.


Member Typedef Documentation

template<class CLSAdaptor, template< typename Int > class LiteralReadingPolicy = LiteralReadingStrict, typename Int = int>
typedef CLSAdaptor OKlib::InputOutput::StandardDIMACSInput< CLSAdaptor, LiteralReadingPolicy, Int >::cls_adaptor_type

Definition at line 207 of file Dimacs.hpp.

template<class CLSAdaptor, template< typename Int > class LiteralReadingPolicy = LiteralReadingStrict, typename Int = int>
typedef Int OKlib::InputOutput::StandardDIMACSInput< CLSAdaptor, LiteralReadingPolicy, Int >::int_type

Definition at line 208 of file Dimacs.hpp.

template<class CLSAdaptor, template< typename Int > class LiteralReadingPolicy = LiteralReadingStrict, typename Int = int>
typedef cls_adaptor_type::int_type OKlib::InputOutput::StandardDIMACSInput< CLSAdaptor, LiteralReadingPolicy, Int >::int_type_target

Definition at line 209 of file Dimacs.hpp.


Constructor & Destructor Documentation

template<class CLSAdaptor, template< typename Int > class LiteralReadingPolicy = LiteralReadingStrict, typename Int = int>
OKlib::InputOutput::StandardDIMACSInput< CLSAdaptor, LiteralReadingPolicy, Int >::StandardDIMACSInput ( std::istream &  in_stream,
cls_adaptor_type out,
const bool  check_par = true 
) [inline]

Definition at line 212 of file Dimacs.hpp.


Member Data Documentation

template<class CLSAdaptor, template< typename Int > class LiteralReadingPolicy = LiteralReadingStrict, typename Int = int>
const bool OKlib::InputOutput::StandardDIMACSInput< CLSAdaptor, LiteralReadingPolicy, Int >::check_par

Definition at line 210 of file Dimacs.hpp.


The documentation for this class was generated from the following file: