OKlibrary  0.2.1.6
OKlib::InputOutput::CLSAdaptorFilter< Int, String, CLSAdaptor > Class Template Reference

List of all members.

Public Types

typedef Int int_type
typedef String string_type
typedef CLSAdaptor cls_adaptor_type
typedef std::set< int_typeclause_index_container_type

Public Member Functions

template<typename Range >
 CLSAdaptorFilter (const Range &clause_index_arg, cls_adaptor_type &cls_adaptor_arg)
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)

Detailed Description

template<typename Int = int, class String = std::string, class CLSAdaptor = OKlib::InputOutput::CLSAdaptorDIMACSOutput<>>
class OKlib::InputOutput::CLSAdaptorFilter< Int, String, CLSAdaptor >

Definition at line 77 of file FilterDimacs.cpp.


Member Typedef Documentation

template<typename Int = int, class String = std::string, class CLSAdaptor = OKlib::InputOutput::CLSAdaptorDIMACSOutput<>>
typedef std::set<int_type> OKlib::InputOutput::CLSAdaptorFilter< Int, String, CLSAdaptor >::clause_index_container_type

Definition at line 85 of file FilterDimacs.cpp.

template<typename Int = int, class String = std::string, class CLSAdaptor = OKlib::InputOutput::CLSAdaptorDIMACSOutput<>>
typedef CLSAdaptor OKlib::InputOutput::CLSAdaptorFilter< Int, String, CLSAdaptor >::cls_adaptor_type

Definition at line 83 of file FilterDimacs.cpp.

template<typename Int = int, class String = std::string, class CLSAdaptor = OKlib::InputOutput::CLSAdaptorDIMACSOutput<>>
typedef Int OKlib::InputOutput::CLSAdaptorFilter< Int, String, CLSAdaptor >::int_type

Definition at line 81 of file FilterDimacs.cpp.

template<typename Int = int, class String = std::string, class CLSAdaptor = OKlib::InputOutput::CLSAdaptorDIMACSOutput<>>
typedef String OKlib::InputOutput::CLSAdaptorFilter< Int, String, CLSAdaptor >::string_type

Definition at line 82 of file FilterDimacs.cpp.


Constructor & Destructor Documentation

template<typename Int = int, class String = std::string, class CLSAdaptor = OKlib::InputOutput::CLSAdaptorDIMACSOutput<>>
template<typename Range >
OKlib::InputOutput::CLSAdaptorFilter< Int, String, CLSAdaptor >::CLSAdaptorFilter ( const Range &  clause_index_arg,
cls_adaptor_type cls_adaptor_arg 
) [inline]

Definition at line 96 of file FilterDimacs.cpp.

References Latex_Handler::begin(), and StreamHandling::copy().


Member Function Documentation

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

Definition at line 104 of file FilterDimacs.cpp.

References Latex_Handler::begin(), and end.

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

Definition at line 128 of file FilterDimacs.cpp.

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

Definition at line 102 of file FilterDimacs.cpp.

template<typename Int = int, class String = std::string, class CLSAdaptor = OKlib::InputOutput::CLSAdaptorDIMACSOutput<>>
void OKlib::InputOutput::CLSAdaptorFilter< Int, String, CLSAdaptor >::finish ( ) [inline]

Definition at line 121 of file FilterDimacs.cpp.

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

Definition at line 103 of file FilterDimacs.cpp.

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

Definition at line 122 of file FilterDimacs.cpp.


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