OKlibrary  0.2.1.6
OKlib::InputOutput::CLSAdaptorSortByClauseLengthDescending< Int, String, OutputCLSAdaptor, OrderComparator > Class Template Reference

List of all members.

Public Types

typedef Int int_type
typedef String string_type
typedef OutputCLSAdaptor output_cls_adaptor_type
typedef RawDimacsCLSAdaptor stored_cls_adaptor_type
typedef
stored_cls_adaptor_type::clause_type 
stored_clause_type
typedef OrderComparator order_comparator_type

Public Member Functions

 CLSAdaptorSortByClauseLengthDescending (output_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 OutputCLSAdaptor = OKlib::InputOutput::CLSAdaptorDIMACSOutput<>, class OrderComparator = OKlib::Programming::Utilities::OrderRelations::SizeLessThan<AllEqual<RawDimacsCLSAdaptor<>::clause_type > >>
class OKlib::InputOutput::CLSAdaptorSortByClauseLengthDescending< Int, String, OutputCLSAdaptor, OrderComparator >

Definition at line 77 of file SortByClauseLengthDescending.cpp.


Member Typedef Documentation

template<typename Int = int, class String = std::string, class OutputCLSAdaptor = OKlib::InputOutput::CLSAdaptorDIMACSOutput<>, class OrderComparator = OKlib::Programming::Utilities::OrderRelations::SizeLessThan<AllEqual<RawDimacsCLSAdaptor<>::clause_type > >>
typedef Int OKlib::InputOutput::CLSAdaptorSortByClauseLengthDescending< Int, String, OutputCLSAdaptor, OrderComparator >::int_type

Definition at line 80 of file SortByClauseLengthDescending.cpp.

template<typename Int = int, class String = std::string, class OutputCLSAdaptor = OKlib::InputOutput::CLSAdaptorDIMACSOutput<>, class OrderComparator = OKlib::Programming::Utilities::OrderRelations::SizeLessThan<AllEqual<RawDimacsCLSAdaptor<>::clause_type > >>
typedef OrderComparator OKlib::InputOutput::CLSAdaptorSortByClauseLengthDescending< Int, String, OutputCLSAdaptor, OrderComparator >::order_comparator_type

Definition at line 85 of file SortByClauseLengthDescending.cpp.

template<typename Int = int, class String = std::string, class OutputCLSAdaptor = OKlib::InputOutput::CLSAdaptorDIMACSOutput<>, class OrderComparator = OKlib::Programming::Utilities::OrderRelations::SizeLessThan<AllEqual<RawDimacsCLSAdaptor<>::clause_type > >>
typedef OutputCLSAdaptor OKlib::InputOutput::CLSAdaptorSortByClauseLengthDescending< Int, String, OutputCLSAdaptor, OrderComparator >::output_cls_adaptor_type

Definition at line 82 of file SortByClauseLengthDescending.cpp.

template<typename Int = int, class String = std::string, class OutputCLSAdaptor = OKlib::InputOutput::CLSAdaptorDIMACSOutput<>, class OrderComparator = OKlib::Programming::Utilities::OrderRelations::SizeLessThan<AllEqual<RawDimacsCLSAdaptor<>::clause_type > >>
typedef stored_cls_adaptor_type::clause_type OKlib::InputOutput::CLSAdaptorSortByClauseLengthDescending< Int, String, OutputCLSAdaptor, OrderComparator >::stored_clause_type

Definition at line 84 of file SortByClauseLengthDescending.cpp.

template<typename Int = int, class String = std::string, class OutputCLSAdaptor = OKlib::InputOutput::CLSAdaptorDIMACSOutput<>, class OrderComparator = OKlib::Programming::Utilities::OrderRelations::SizeLessThan<AllEqual<RawDimacsCLSAdaptor<>::clause_type > >>
typedef RawDimacsCLSAdaptor OKlib::InputOutput::CLSAdaptorSortByClauseLengthDescending< Int, String, OutputCLSAdaptor, OrderComparator >::stored_cls_adaptor_type

Definition at line 83 of file SortByClauseLengthDescending.cpp.

template<typename Int = int, class String = std::string, class OutputCLSAdaptor = OKlib::InputOutput::CLSAdaptorDIMACSOutput<>, class OrderComparator = OKlib::Programming::Utilities::OrderRelations::SizeLessThan<AllEqual<RawDimacsCLSAdaptor<>::clause_type > >>
typedef String OKlib::InputOutput::CLSAdaptorSortByClauseLengthDescending< Int, String, OutputCLSAdaptor, OrderComparator >::string_type

Definition at line 81 of file SortByClauseLengthDescending.cpp.


Constructor & Destructor Documentation

template<typename Int = int, class String = std::string, class OutputCLSAdaptor = OKlib::InputOutput::CLSAdaptorDIMACSOutput<>, class OrderComparator = OKlib::Programming::Utilities::OrderRelations::SizeLessThan<AllEqual<RawDimacsCLSAdaptor<>::clause_type > >>
OKlib::InputOutput::CLSAdaptorSortByClauseLengthDescending< Int, String, OutputCLSAdaptor, OrderComparator >::CLSAdaptorSortByClauseLengthDescending ( output_cls_adaptor_type cls_adaptor_arg) [inline]

Definition at line 87 of file SortByClauseLengthDescending.cpp.


Member Function Documentation

template<typename Int = int, class String = std::string, class OutputCLSAdaptor = OKlib::InputOutput::CLSAdaptorDIMACSOutput<>, class OrderComparator = OKlib::Programming::Utilities::OrderRelations::SizeLessThan<AllEqual<RawDimacsCLSAdaptor<>::clause_type > >>
void OKlib::InputOutput::CLSAdaptorSortByClauseLengthDescending< Int, String, OutputCLSAdaptor, OrderComparator >::c ( const int_type  pc) [inline]
template<typename Int = int, class String = std::string, class OutputCLSAdaptor = OKlib::InputOutput::CLSAdaptorDIMACSOutput<>, class OrderComparator = OKlib::Programming::Utilities::OrderRelations::SizeLessThan<AllEqual<RawDimacsCLSAdaptor<>::clause_type > >>
template<class ForwardRange >
void OKlib::InputOutput::CLSAdaptorSortByClauseLengthDescending< Int, String, OutputCLSAdaptor, OrderComparator >::clause ( const ForwardRange &  r,
const int_type  t 
) [inline]
template<typename Int = int, class String = std::string, class OutputCLSAdaptor = OKlib::InputOutput::CLSAdaptorDIMACSOutput<>, class OrderComparator = OKlib::Programming::Utilities::OrderRelations::SizeLessThan<AllEqual<RawDimacsCLSAdaptor<>::clause_type > >>
void OKlib::InputOutput::CLSAdaptorSortByClauseLengthDescending< Int, String, OutputCLSAdaptor, OrderComparator >::comment ( const string_type s) [inline]

Definition at line 90 of file SortByClauseLengthDescending.cpp.

template<typename Int = int, class String = std::string, class OutputCLSAdaptor = OKlib::InputOutput::CLSAdaptorDIMACSOutput<>, class OrderComparator = OKlib::Programming::Utilities::OrderRelations::SizeLessThan<AllEqual<RawDimacsCLSAdaptor<>::clause_type > >>
void OKlib::InputOutput::CLSAdaptorSortByClauseLengthDescending< Int, String, OutputCLSAdaptor, OrderComparator >::finish ( ) [inline]
template<typename Int = int, class String = std::string, class OutputCLSAdaptor = OKlib::InputOutput::CLSAdaptorDIMACSOutput<>, class OrderComparator = OKlib::Programming::Utilities::OrderRelations::SizeLessThan<AllEqual<RawDimacsCLSAdaptor<>::clause_type > >>
void OKlib::InputOutput::CLSAdaptorSortByClauseLengthDescending< Int, String, OutputCLSAdaptor, OrderComparator >::n ( const int_type  pn) [inline]
template<typename Int = int, class String = std::string, class OutputCLSAdaptor = OKlib::InputOutput::CLSAdaptorDIMACSOutput<>, class OrderComparator = OKlib::Programming::Utilities::OrderRelations::SizeLessThan<AllEqual<RawDimacsCLSAdaptor<>::clause_type > >>
void OKlib::InputOutput::CLSAdaptorSortByClauseLengthDescending< Int, String, OutputCLSAdaptor, OrderComparator >::tautological_clause ( const int_type  t) [inline]

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