OKlibrary  0.2.1.6
OKlib::SATCompetition::ResultDatabase< ResultIterator > Class Template Reference

Creates the undirected ("bi-directed") bipartite attribute-result graphs from a sequence of results, and enables computation of the set of common results for a set of attribute-values (for different attributes). More...

#include <ResultProcessing.hpp>

List of all members.

Public Types

typedef std::vector< const
SetResultNodesP * > 
VectorOfSetsP

Public Member Functions

 ResultDatabase (ResultIterator begin, const ResultIterator end)
 ResultDatabase (const ResultDatabase &other)
 ~ResultDatabase ()
number_results_type number_results () const
const MapSuperSeriessuper_series () const
const MapSeriesseries () const
const MapBenchmarkbenchmark () const
const MapSolversolver () const
const MapSATStatussat_status () const
const MapTimeOuttime_out () const
const VectorResultNodesPintersection () const
void restrict ()

Public Attributes

VectorOfSetsP vector_of_sets

Detailed Description

template<typename ResultIterator>
class OKlib::SATCompetition::ResultDatabase< ResultIterator >

Creates the undirected ("bi-directed") bipartite attribute-result graphs from a sequence of results, and enables computation of the set of common results for a set of attribute-values (for different attributes).

Todo:
Create a concept for ResultDatabase:
  • ResultIterator is an input iterator, ResultIterator::value_type is Result or ResultRandomSat (yet). It is assumed that the lifetime of these results is as long as the lifetime of the ResultDatabase object.

Definition at line 96 of file ResultProcessing.hpp.


Member Typedef Documentation

template<typename ResultIterator>
typedef std::vector<const SetResultNodesP*> OKlib::SATCompetition::ResultDatabase< ResultIterator >::VectorOfSetsP

Definition at line 142 of file ResultProcessing.hpp.


Constructor & Destructor Documentation

template<typename ResultIterator>
OKlib::SATCompetition::ResultDatabase< ResultIterator >::ResultDatabase ( ResultIterator  begin,
const ResultIterator  end 
) [inline]

Definition at line 116 of file ResultProcessing.hpp.

template<typename ResultIterator>
OKlib::SATCompetition::ResultDatabase< ResultIterator >::ResultDatabase ( const ResultDatabase< ResultIterator > &  other) [inline]

Definition at line 124 of file ResultProcessing.hpp.

template<typename ResultIterator>
OKlib::SATCompetition::ResultDatabase< ResultIterator >::~ResultDatabase ( ) [inline]

Definition at line 129 of file ResultProcessing.hpp.


Member Function Documentation

template<typename ResultIterator>
const MapBenchmark& OKlib::SATCompetition::ResultDatabase< ResultIterator >::benchmark ( ) const [inline]

Definition at line 137 of file ResultProcessing.hpp.

template<typename ResultIterator>
const VectorResultNodesP& OKlib::SATCompetition::ResultDatabase< ResultIterator >::intersection ( ) const [inline]

Definition at line 149 of file ResultProcessing.hpp.

template<typename ResultIterator>
number_results_type OKlib::SATCompetition::ResultDatabase< ResultIterator >::number_results ( ) const [inline]

Definition at line 133 of file ResultProcessing.hpp.

template<typename ResultIterator>
void OKlib::SATCompetition::ResultDatabase< ResultIterator >::restrict ( ) [inline]

Definition at line 175 of file ResultProcessing.hpp.

template<typename ResultIterator>
const MapSATStatus& OKlib::SATCompetition::ResultDatabase< ResultIterator >::sat_status ( ) const [inline]

Definition at line 139 of file ResultProcessing.hpp.

template<typename ResultIterator>
const MapSeries& OKlib::SATCompetition::ResultDatabase< ResultIterator >::series ( ) const [inline]

Definition at line 136 of file ResultProcessing.hpp.

template<typename ResultIterator>
const MapSolver& OKlib::SATCompetition::ResultDatabase< ResultIterator >::solver ( ) const [inline]

Definition at line 138 of file ResultProcessing.hpp.

template<typename ResultIterator>
const MapSuperSeries& OKlib::SATCompetition::ResultDatabase< ResultIterator >::super_series ( ) const [inline]

Definition at line 135 of file ResultProcessing.hpp.

template<typename ResultIterator>
const MapTimeOut& OKlib::SATCompetition::ResultDatabase< ResultIterator >::time_out ( ) const [inline]

Definition at line 140 of file ResultProcessing.hpp.


Member Data Documentation


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