OKlibrary  0.2.1.6
OKlib::InputOutput::List2DIMACSOutput Class Reference

Transfers a clause-set as a sequence of sequences to an output-stream in Dimacs format. More...

#include <Dimacs.hpp>

List of all members.

Public Types

typedef
InputOutput::CLSAdaptorDIMACSOutput 
cls_adaptor_type
typedef ListTransfer
< cls_adaptor_type
list_transfer_type
typedef
list_transfer_type::string_type 
string_type

Public Member Functions

template<class Cls >
 List2DIMACSOutput (const Cls &F, std::ostream &out, const string_type &comment="")

Detailed Description

Transfers a clause-set as a sequence of sequences to an output-stream in Dimacs format.

Definition at line 420 of file Dimacs.hpp.


Member Typedef Documentation


Constructor & Destructor Documentation

template<class Cls >
OKlib::InputOutput::List2DIMACSOutput::List2DIMACSOutput ( const Cls &  F,
std::ostream &  out,
const string_type comment = "" 
) [inline]

Definition at line 425 of file Dimacs.hpp.


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