OKlibrary  0.2.1.6
OKlib::InputOutput::FullStatistics< Int > Class Template Reference

Class for gathering "all" statistics about input/output (especially in DIMACS format). More...

#include <ClauseSetAdaptors.hpp>

List of all members.

Public Types

typedef Statistics< Intstat_type
typedef stat_type::int_type int_type
typedef std::vector< int_typemap_type

Public Member Functions

 FullStatistics ()

Public Attributes

stat_type stat
map_type clause_lengths
output_options option

Static Public Attributes

static const output_options default_option = full_output

Friends

bool operator== (const FullStatistics &lhs, const FullStatistics &rhs)
std::ostream & operator<< (std::ostream &out, const FullStatistics &s)

Detailed Description

template<typename Int = int>
class OKlib::InputOutput::FullStatistics< Int >

Class for gathering "all" statistics about input/output (especially in DIMACS format).

Contains a Statistics object plus for the occurring clause-lengths the occurrence counts (after elementary reductions).

Definition at line 259 of file ClauseSetAdaptors.hpp.


Member Typedef Documentation

template<typename Int = int>
typedef stat_type::int_type OKlib::InputOutput::FullStatistics< Int >::int_type

Definition at line 261 of file ClauseSetAdaptors.hpp.

template<typename Int = int>
typedef std::vector<int_type> OKlib::InputOutput::FullStatistics< Int >::map_type

Definition at line 263 of file ClauseSetAdaptors.hpp.

template<typename Int = int>
typedef Statistics<Int> OKlib::InputOutput::FullStatistics< Int >::stat_type

Definition at line 260 of file ClauseSetAdaptors.hpp.


Constructor & Destructor Documentation

template<typename Int = int>
OKlib::InputOutput::FullStatistics< Int >::FullStatistics ( ) [inline]

Definition at line 268 of file ClauseSetAdaptors.hpp.


Friends And Related Function Documentation

template<typename Int = int>
std::ostream& operator<< ( std::ostream &  out,
const FullStatistics< Int > &  s 
) [friend]

Definition at line 274 of file ClauseSetAdaptors.hpp.

template<typename Int = int>
bool operator== ( const FullStatistics< Int > &  lhs,
const FullStatistics< Int > &  rhs 
) [friend]

Definition at line 270 of file ClauseSetAdaptors.hpp.


Member Data Documentation

Definition at line 264 of file ClauseSetAdaptors.hpp.

template<typename Int = int>
const output_options OKlib::InputOutput::FullStatistics< Int >::default_option = full_output [static]

Definition at line 266 of file ClauseSetAdaptors.hpp.

template<typename Int = int>
output_options OKlib::InputOutput::FullStatistics< Int >::option

Definition at line 265 of file ClauseSetAdaptors.hpp.

template<typename Int = int>
stat_type OKlib::InputOutput::FullStatistics< Int >::stat

Definition at line 262 of file ClauseSetAdaptors.hpp.


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