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

Adaptor for clause-sets which gathers "all" statistics. More...

#include <ClauseSetAdaptors.hpp>

List of all members.

Public Types

typedef String string_type
typedef FullStatistics< Intstatistics_type
typedef statistics_type::int_type int_type
typedef
statistics_type::map_type::size_type 
size_type

Public Member Functions

 CLSAdaptorFullStatistics ()
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::CLSAdaptorFullStatistics< Int, String >

Adaptor for clause-sets which gathers "all" statistics.

Additional to CLSAdaptorPreciseStatistics, now the clause-lengths of non-tautological clauses are determined in the data member stat.

Definition at line 413 of file ClauseSetAdaptors.hpp.


Member Typedef Documentation

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

Definition at line 417 of file ClauseSetAdaptors.hpp.

template<typename Int = int, class String = std::string>
typedef statistics_type::map_type::size_type OKlib::InputOutput::CLSAdaptorFullStatistics< Int, String >::size_type

Definition at line 418 of file ClauseSetAdaptors.hpp.

template<typename Int = int, class String = std::string>
typedef FullStatistics<Int> OKlib::InputOutput::CLSAdaptorFullStatistics< Int, String >::statistics_type

Definition at line 416 of file ClauseSetAdaptors.hpp.

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

Definition at line 415 of file ClauseSetAdaptors.hpp.


Constructor & Destructor Documentation

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

Definition at line 423 of file ClauseSetAdaptors.hpp.


Member Function Documentation

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

Member Data Documentation

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

Definition at line 422 of file ClauseSetAdaptors.hpp.


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