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

Adaptor for clause-sets which only gathers the basic ncl-statistics. More...

#include <ClauseSetAdaptors.hpp>

List of all members.

Public Types

typedef Int int_type
typedef String string_type
typedef Statistics< int_typestatistics_type

Public Member Functions

void comment (const string_type &)
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)

Public Attributes

statistics_type stat

Detailed Description

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

Adaptor for clause-sets which only gathers the basic ncl-statistics.

  • The data member stat contains the statistical information.
  • Neither actual occurring variables nor their maximal index is determined.
  • For a more complete computation of ncl-statistics see CLSAdaptorPreciseStatistics.
Todo:
CLSAdaptorPreciseStatistics

Definition at line 317 of file ClauseSetAdaptors.hpp.


Member Typedef Documentation

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

Definition at line 318 of file ClauseSetAdaptors.hpp.

template<typename Int = int, class String = std::string>
typedef Statistics<int_type> OKlib::InputOutput::CLSAdaptorStatistics< Int, String >::statistics_type

Definition at line 320 of file ClauseSetAdaptors.hpp.

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

Definition at line 319 of file ClauseSetAdaptors.hpp.


Member Function Documentation

template<typename Int = int, class String = std::string>
void OKlib::InputOutput::CLSAdaptorStatistics< Int, String >::c ( const int_type  pc) [inline]
template<typename Int = int, class String = std::string>
template<class ForwardRange >
void OKlib::InputOutput::CLSAdaptorStatistics< Int, String >::clause ( const ForwardRange &  r,
const int_type  t 
) [inline]
template<typename Int = int, class String = std::string>
void OKlib::InputOutput::CLSAdaptorStatistics< Int, String >::comment ( const string_type ) [inline]
template<typename Int = int, class String = std::string>
void OKlib::InputOutput::CLSAdaptorStatistics< Int, String >::finish ( ) [inline]
template<typename Int = int, class String = std::string>
void OKlib::InputOutput::CLSAdaptorStatistics< Int, String >::n ( const int_type  pn) [inline]

Member Data Documentation


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