OKlibrary  0.2.1.6
OKlib::InputOutput::LiteralReadingStrict< Int > Class Template Reference

Standard policy for reading a Dimacs-literal. More...

#include <Dimacs.hpp>

List of all members.

Public Types

typedef Int int_type

Static Public Member Functions

static void read (std::istream &in, int_type &literal)

Detailed Description

template<typename Int>
class OKlib::InputOutput::LiteralReadingStrict< Int >

Standard policy for reading a Dimacs-literal.

Definition at line 65 of file Dimacs.hpp.


Member Typedef Documentation

template<typename Int >
typedef Int OKlib::InputOutput::LiteralReadingStrict< Int >::int_type

Definition at line 66 of file Dimacs.hpp.


Member Function Documentation

template<typename Int >
static void OKlib::InputOutput::LiteralReadingStrict< Int >::read ( std::istream &  in,
int_type literal 
) [inline, static]

Definition at line 67 of file Dimacs.hpp.


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