OKlibrary  0.2.1.6
OKlib::SATCompetition::LexicographicalSeriesPolicy< Result > Struct Template Reference

#include <LexicographicalEvaluationPolicies.hpp>

List of all members.

Public Types

typedef SuperSeries super_series_type
typedef Series series_type

Static Public Member Functions

template<class SolvedBenchmark >
static super_series_type super_series (const SolvedBenchmark &sb)
template<class SolvedBenchmark >
static series_type series (const SolvedBenchmark &sb)

Detailed Description

template<>
struct OKlib::SATCompetition::LexicographicalSeriesPolicy< Result >

Definition at line 44 of file LexicographicalEvaluationPolicies.hpp.


Member Typedef Documentation

typedef Series OKlib::SATCompetition::LexicographicalSeriesPolicy< Result >::series_type

Definition at line 46 of file LexicographicalEvaluationPolicies.hpp.

typedef SuperSeries OKlib::SATCompetition::LexicographicalSeriesPolicy< Result >::super_series_type

Definition at line 45 of file LexicographicalEvaluationPolicies.hpp.


Member Function Documentation

template<class SolvedBenchmark >
static series_type OKlib::SATCompetition::LexicographicalSeriesPolicy< Result >::series ( const SolvedBenchmark &  sb) [inline, static]

Definition at line 54 of file LexicographicalEvaluationPolicies.hpp.

template<class SolvedBenchmark >
static super_series_type OKlib::SATCompetition::LexicographicalSeriesPolicy< Result >::super_series ( const SolvedBenchmark &  sb) [inline, static]

Definition at line 49 of file LexicographicalEvaluationPolicies.hpp.


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