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

#include <LexicographicalEvaluationPolicies.hpp>

List of all members.

Public Types

typedef RandomKSat super_series_type
typedef RandomKSat_n 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< ResultRandomSat >

Definition at line 61 of file LexicographicalEvaluationPolicies.hpp.


Member Typedef Documentation

typedef RandomKSat_n OKlib::SATCompetition::LexicographicalSeriesPolicy< ResultRandomSat >::series_type

Definition at line 63 of file LexicographicalEvaluationPolicies.hpp.

typedef RandomKSat OKlib::SATCompetition::LexicographicalSeriesPolicy< ResultRandomSat >::super_series_type

Definition at line 62 of file LexicographicalEvaluationPolicies.hpp.


Member Function Documentation

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

Definition at line 71 of file LexicographicalEvaluationPolicies.hpp.

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

Definition at line 66 of file LexicographicalEvaluationPolicies.hpp.


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