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

Adaptor for clause-sets gathering (basic) statistics in all forms. 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

 CLSAdaptorPreciseStatistics ()
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
int_type max_var_index
std::set< int_typevar

Detailed Description

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

Adaptor for clause-sets gathering (basic) statistics in all forms.

  • The data member stat contains the statistical information.
  • The data member var is the set of all occurring variables.
  • All members of Statistics are filled except of n0 and n0mi.
Todo:
Correction : DONE
  • Yet the n-count is tranferred to stat.parameter_n, while this is for the parameter-line value.
  • So class Statistics needs to be extended, and the new parameter needs to be used in finish().
Todo:
Extensions : DONE
  • Also the maximal variable-index is needed.

Definition at line 366 of file ClauseSetAdaptors.hpp.


Member Typedef Documentation

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

Definition at line 367 of file ClauseSetAdaptors.hpp.

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

Definition at line 369 of file ClauseSetAdaptors.hpp.

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

Definition at line 368 of file ClauseSetAdaptors.hpp.


Constructor & Destructor Documentation

template<typename Int = int, class String = std::string>
OKlib::InputOutput::CLSAdaptorPreciseStatistics< Int, String >::CLSAdaptorPreciseStatistics ( ) [inline]

Definition at line 373 of file ClauseSetAdaptors.hpp.


Member Function Documentation

template<typename Int = int, class String = std::string>
void OKlib::InputOutput::CLSAdaptorPreciseStatistics< Int, String >::c ( const int_type  pc) [inline]
template<typename Int = int, class String = std::string>
void OKlib::InputOutput::CLSAdaptorPreciseStatistics< Int, String >::comment ( const string_type ) [inline]
template<typename Int = int, class String = std::string>
void OKlib::InputOutput::CLSAdaptorPreciseStatistics< Int, String >::n ( const int_type  pn) [inline]

Member Data Documentation

template<typename Int = int, class String = std::string>
std::set<int_type> OKlib::InputOutput::CLSAdaptorPreciseStatistics< Int, String >::var

Definition at line 372 of file ClauseSetAdaptors.hpp.


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