OKlibrary  0.2.1.6
OKlib::InputOutput::ListTransfer< CLSAdaptor > Class Template Reference

Transfers a sequence of sequences of literals to a CLSAdaptor. More...

#include <Dimacs.hpp>

List of all members.

Public Types

typedef CLSAdaptor cls_adaptor_type
typedef cls_adaptor_type::int_type int_type
typedef
cls_adaptor_type::string_type 
string_type

Public Member Functions

template<class Cls >
 ListTransfer (const Cls &F, cls_adaptor_type &out, const string_type &comment="")
template<class Cls >
 ListTransfer (const Cls &F, cls_adaptor_type &out, const int_type n, const string_type &comment="")

Detailed Description

template<class CLSAdaptor>
class OKlib::InputOutput::ListTransfer< CLSAdaptor >

Transfers a sequence of sequences of literals to a CLSAdaptor.

  • It is assumed that the clauses do not contain clashing or repeated literals.
  • The literals are assumed to be integral, and are transferred unchanged.
  • The p-values for the output are computed as maximal variable-index and as the clause-count.

Definition at line 371 of file Dimacs.hpp.


Member Typedef Documentation

template<class CLSAdaptor>
typedef CLSAdaptor OKlib::InputOutput::ListTransfer< CLSAdaptor >::cls_adaptor_type

Definition at line 374 of file Dimacs.hpp.

template<class CLSAdaptor>
typedef cls_adaptor_type::int_type OKlib::InputOutput::ListTransfer< CLSAdaptor >::int_type

Definition at line 375 of file Dimacs.hpp.

template<class CLSAdaptor>
typedef cls_adaptor_type::string_type OKlib::InputOutput::ListTransfer< CLSAdaptor >::string_type

Definition at line 376 of file Dimacs.hpp.


Constructor & Destructor Documentation

template<class CLSAdaptor>
template<class Cls >
OKlib::InputOutput::ListTransfer< CLSAdaptor >::ListTransfer ( const Cls &  F,
cls_adaptor_type out,
const string_type comment = "" 
) [inline]

Definition at line 379 of file Dimacs.hpp.

References OKlib::Literals::var().

template<class CLSAdaptor>
template<class Cls >
OKlib::InputOutput::ListTransfer< CLSAdaptor >::ListTransfer ( const Cls &  F,
cls_adaptor_type out,
const int_type  n,
const string_type comment = "" 
) [inline]

Definition at line 401 of file Dimacs.hpp.


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