OKlibrary  0.2.1.6
OKlib::InputOutput::CLSAdaptorDIMACSFileOutput< Int, String, AdaptorStatistics > Class Template Reference

Adaptor for clause-sets for file-output in DIMACS format. More...

#include <ClauseSetAdaptors.hpp>

List of all members.

Public Types

typedef output_adaptor::int_type int_type
typedef output_adaptor::string_type string_type
typedef
output_adaptor::statistics_type 
adaptor_statistics_type
typedef std::ios::pos_type pos_type
typedef std::string::size_type size_type

Public Member Functions

pos_type pline_position ()
size_type pline_length ()
 CLSAdaptorDIMACSFileOutput (std::iostream &f)
void comment (const string_type &s)
void n (const int_type pn)
void c (const int_type pc)
void finish ()
void tautological_clause (const int_type t)
template<class ForwardRange >
void clause (const ForwardRange &r, const int_type t)
const adaptor_statistics_typestat () const

Detailed Description

template<typename Int = int, class String = std::string, class AdaptorStatistics = CLSAdaptorStatistics<Int, String>>
class OKlib::InputOutput::CLSAdaptorDIMACSFileOutput< Int, String, AdaptorStatistics >

Adaptor for clause-sets for file-output in DIMACS format.

As CLSAdaptorDIMACSOutput, but with two additional member functions:

Definition at line 564 of file ClauseSetAdaptors.hpp.


Member Typedef Documentation

template<typename Int = int, class String = std::string, class AdaptorStatistics = CLSAdaptorStatistics<Int, String>>
typedef output_adaptor::statistics_type OKlib::InputOutput::CLSAdaptorDIMACSFileOutput< Int, String, AdaptorStatistics >::adaptor_statistics_type

Definition at line 571 of file ClauseSetAdaptors.hpp.

template<typename Int = int, class String = std::string, class AdaptorStatistics = CLSAdaptorStatistics<Int, String>>
typedef output_adaptor::int_type OKlib::InputOutput::CLSAdaptorDIMACSFileOutput< Int, String, AdaptorStatistics >::int_type

Definition at line 569 of file ClauseSetAdaptors.hpp.

template<typename Int = int, class String = std::string, class AdaptorStatistics = CLSAdaptorStatistics<Int, String>>
typedef std::ios::pos_type OKlib::InputOutput::CLSAdaptorDIMACSFileOutput< Int, String, AdaptorStatistics >::pos_type

Definition at line 572 of file ClauseSetAdaptors.hpp.

template<typename Int = int, class String = std::string, class AdaptorStatistics = CLSAdaptorStatistics<Int, String>>
typedef std::string::size_type OKlib::InputOutput::CLSAdaptorDIMACSFileOutput< Int, String, AdaptorStatistics >::size_type

Definition at line 573 of file ClauseSetAdaptors.hpp.

template<typename Int = int, class String = std::string, class AdaptorStatistics = CLSAdaptorStatistics<Int, String>>
typedef output_adaptor::string_type OKlib::InputOutput::CLSAdaptorDIMACSFileOutput< Int, String, AdaptorStatistics >::string_type

Definition at line 570 of file ClauseSetAdaptors.hpp.


Constructor & Destructor Documentation

template<typename Int = int, class String = std::string, class AdaptorStatistics = CLSAdaptorStatistics<Int, String>>
OKlib::InputOutput::CLSAdaptorDIMACSFileOutput< Int, String, AdaptorStatistics >::CLSAdaptorDIMACSFileOutput ( std::iostream &  f) [inline]

Definition at line 578 of file ClauseSetAdaptors.hpp.


Member Function Documentation

template<typename Int = int, class String = std::string, class AdaptorStatistics = CLSAdaptorStatistics<Int, String>>
void OKlib::InputOutput::CLSAdaptorDIMACSFileOutput< Int, String, AdaptorStatistics >::c ( const int_type  pc) [inline]

Definition at line 581 of file ClauseSetAdaptors.hpp.

template<typename Int = int, class String = std::string, class AdaptorStatistics = CLSAdaptorStatistics<Int, String>>
template<class ForwardRange >
void OKlib::InputOutput::CLSAdaptorDIMACSFileOutput< Int, String, AdaptorStatistics >::clause ( const ForwardRange &  r,
const int_type  t 
) [inline]

Definition at line 590 of file ClauseSetAdaptors.hpp.

template<typename Int = int, class String = std::string, class AdaptorStatistics = CLSAdaptorStatistics<Int, String>>
void OKlib::InputOutput::CLSAdaptorDIMACSFileOutput< Int, String, AdaptorStatistics >::comment ( const string_type s) [inline]

Definition at line 579 of file ClauseSetAdaptors.hpp.

template<typename Int = int, class String = std::string, class AdaptorStatistics = CLSAdaptorStatistics<Int, String>>
void OKlib::InputOutput::CLSAdaptorDIMACSFileOutput< Int, String, AdaptorStatistics >::finish ( ) [inline]

Definition at line 587 of file ClauseSetAdaptors.hpp.

template<typename Int = int, class String = std::string, class AdaptorStatistics = CLSAdaptorStatistics<Int, String>>
void OKlib::InputOutput::CLSAdaptorDIMACSFileOutput< Int, String, AdaptorStatistics >::n ( const int_type  pn) [inline]

Definition at line 580 of file ClauseSetAdaptors.hpp.

template<typename Int = int, class String = std::string, class AdaptorStatistics = CLSAdaptorStatistics<Int, String>>
size_type OKlib::InputOutput::CLSAdaptorDIMACSFileOutput< Int, String, AdaptorStatistics >::pline_length ( ) [inline]

Definition at line 576 of file ClauseSetAdaptors.hpp.

template<typename Int = int, class String = std::string, class AdaptorStatistics = CLSAdaptorStatistics<Int, String>>
pos_type OKlib::InputOutput::CLSAdaptorDIMACSFileOutput< Int, String, AdaptorStatistics >::pline_position ( ) [inline]

Definition at line 575 of file ClauseSetAdaptors.hpp.

template<typename Int = int, class String = std::string, class AdaptorStatistics = CLSAdaptorStatistics<Int, String>>
const adaptor_statistics_type& OKlib::InputOutput::CLSAdaptorDIMACSFileOutput< Int, String, AdaptorStatistics >::stat ( ) const [inline]

Definition at line 591 of file ClauseSetAdaptors.hpp.

template<typename Int = int, class String = std::string, class AdaptorStatistics = CLSAdaptorStatistics<Int, String>>
void OKlib::InputOutput::CLSAdaptorDIMACSFileOutput< Int, String, AdaptorStatistics >::tautological_clause ( const int_type  t) [inline]

Definition at line 588 of file ClauseSetAdaptors.hpp.


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