OKlibrary  0.2.1.6
OKlib::SATCompetition::PurseScoring< IndexedDatabase, SeriesPursePolicy, NumberType > Class Template Reference

Computing score(solver) = problem_purse(solver) + speed_award(solver) + series_purse(solver). More...

#include <Scoring.hpp>

List of all members.

Public Types

typedef NumberType number_type
typedef IndexedDatabase database_type
typedef SeriesPursePolicy series_policy_type
typedef seq_solvers::size_type size_type_solvers

Public Member Functions

 PurseScoring (const IndexedDatabase &idb, const number_type standard_problem_purse=1000, const number_type standard_speed_factor=1, const number_type standard_series_factor=3)
virtual ~PurseScoring ()
bool solved (const Solver &solver, const Benchmark &bench) const
bool solved (const Solver &solver, const SpecSeries &series) const
size_type_solvers solved (const Benchmark &bench) const
size_type_solvers solved (const SpecSeries &series) const
number_type problem_purse (const Solver &solver, const Benchmark &bench) const
number_type problem_purse (const Solver &solver) const
number_type speed_factor (const Solver &solver, const Benchmark &bench) const
number_type speed_factor (const Benchmark &bench) const
number_type total_time (const Benchmark &bench) const
number_type speed_award (const Solver &solver, const Benchmark &bench) const
number_type speed_award (const Solver &solver) const
number_type series_purse (const SpecSeries &series) const
number_type series_purse (const Solver &solver, const SpecSeries &series) const
number_type series_purse (const Solver &solver) const
number_type score (const Solver &solver) const

Public Attributes

const IndexedDatabase & idb
const number_type standard_problem_purse
const number_type standard_speed_factor
const number_type standard_series_factor
const number_type standard_speed_purse
const number_type standard_series_purse

Detailed Description

template<class IndexedDatabase, class SeriesPursePolicy = SAT2005SeriesPurse, typename NumberType = double>
class OKlib::SATCompetition::PurseScoring< IndexedDatabase, SeriesPursePolicy, NumberType >

Computing score(solver) = problem_purse(solver) + speed_award(solver) + series_purse(solver).

Todo:

Concepts for IndexedDatabase and SeriesPursePolicy are needed.

Make the implementation more efficient by storing intermediate results.

Definition at line 77 of file Scoring.hpp.


Member Typedef Documentation

template<class IndexedDatabase , class SeriesPursePolicy = SAT2005SeriesPurse, typename NumberType = double>
typedef IndexedDatabase OKlib::SATCompetition::PurseScoring< IndexedDatabase, SeriesPursePolicy, NumberType >::database_type

Definition at line 84 of file Scoring.hpp.

template<class IndexedDatabase , class SeriesPursePolicy = SAT2005SeriesPurse, typename NumberType = double>
typedef NumberType OKlib::SATCompetition::PurseScoring< IndexedDatabase, SeriesPursePolicy, NumberType >::number_type

Definition at line 83 of file Scoring.hpp.

template<class IndexedDatabase , class SeriesPursePolicy = SAT2005SeriesPurse, typename NumberType = double>
typedef SeriesPursePolicy OKlib::SATCompetition::PurseScoring< IndexedDatabase, SeriesPursePolicy, NumberType >::series_policy_type

Definition at line 85 of file Scoring.hpp.

template<class IndexedDatabase , class SeriesPursePolicy = SAT2005SeriesPurse, typename NumberType = double>
typedef seq_solvers::size_type OKlib::SATCompetition::PurseScoring< IndexedDatabase, SeriesPursePolicy, NumberType >::size_type_solvers

Definition at line 113 of file Scoring.hpp.


Constructor & Destructor Documentation

template<class IndexedDatabase , class SeriesPursePolicy = SAT2005SeriesPurse, typename NumberType = double>
OKlib::SATCompetition::PurseScoring< IndexedDatabase, SeriesPursePolicy, NumberType >::PurseScoring ( const IndexedDatabase &  idb,
const number_type  standard_problem_purse = 1000,
const number_type  standard_speed_factor = 1,
const number_type  standard_series_factor = 3 
) [inline]

Definition at line 94 of file Scoring.hpp.

template<class IndexedDatabase , class SeriesPursePolicy = SAT2005SeriesPurse, typename NumberType = double>
virtual OKlib::SATCompetition::PurseScoring< IndexedDatabase, SeriesPursePolicy, NumberType >::~PurseScoring ( ) [inline, virtual]

Definition at line 97 of file Scoring.hpp.


Member Function Documentation

template<class IndexedDatabase , class SeriesPursePolicy = SAT2005SeriesPurse, typename NumberType = double>
number_type OKlib::SATCompetition::PurseScoring< IndexedDatabase, SeriesPursePolicy, NumberType >::problem_purse ( const Solver solver,
const Benchmark bench 
) const [inline]

Definition at line 123 of file Scoring.hpp.

template<class IndexedDatabase , class SeriesPursePolicy = SAT2005SeriesPurse, typename NumberType = double>
number_type OKlib::SATCompetition::PurseScoring< IndexedDatabase, SeriesPursePolicy, NumberType >::problem_purse ( const Solver solver) const [inline]

Definition at line 126 of file Scoring.hpp.

template<class IndexedDatabase , class SeriesPursePolicy = SAT2005SeriesPurse, typename NumberType = double>
number_type OKlib::SATCompetition::PurseScoring< IndexedDatabase, SeriesPursePolicy, NumberType >::score ( const Solver solver) const [inline]

Definition at line 158 of file Scoring.hpp.

template<class IndexedDatabase , class SeriesPursePolicy = SAT2005SeriesPurse, typename NumberType = double>
number_type OKlib::SATCompetition::PurseScoring< IndexedDatabase, SeriesPursePolicy, NumberType >::series_purse ( const SpecSeries series) const [inline]

Definition at line 148 of file Scoring.hpp.

template<class IndexedDatabase , class SeriesPursePolicy = SAT2005SeriesPurse, typename NumberType = double>
number_type OKlib::SATCompetition::PurseScoring< IndexedDatabase, SeriesPursePolicy, NumberType >::series_purse ( const Solver solver,
const SpecSeries series 
) const [inline]

Definition at line 151 of file Scoring.hpp.

template<class IndexedDatabase , class SeriesPursePolicy = SAT2005SeriesPurse, typename NumberType = double>
number_type OKlib::SATCompetition::PurseScoring< IndexedDatabase, SeriesPursePolicy, NumberType >::series_purse ( const Solver solver) const [inline]

Definition at line 154 of file Scoring.hpp.

template<class IndexedDatabase , class SeriesPursePolicy = SAT2005SeriesPurse, typename NumberType = double>
bool OKlib::SATCompetition::PurseScoring< IndexedDatabase, SeriesPursePolicy, NumberType >::solved ( const Solver solver,
const Benchmark bench 
) const [inline]

Definition at line 99 of file Scoring.hpp.

template<class IndexedDatabase , class SeriesPursePolicy = SAT2005SeriesPurse, typename NumberType = double>
bool OKlib::SATCompetition::PurseScoring< IndexedDatabase, SeriesPursePolicy, NumberType >::solved ( const Solver solver,
const SpecSeries series 
) const [inline]

Definition at line 103 of file Scoring.hpp.

template<class IndexedDatabase , class SeriesPursePolicy = SAT2005SeriesPurse, typename NumberType = double>
size_type_solvers OKlib::SATCompetition::PurseScoring< IndexedDatabase, SeriesPursePolicy, NumberType >::solved ( const Benchmark bench) const [inline]

Definition at line 115 of file Scoring.hpp.

template<class IndexedDatabase , class SeriesPursePolicy = SAT2005SeriesPurse, typename NumberType = double>
size_type_solvers OKlib::SATCompetition::PurseScoring< IndexedDatabase, SeriesPursePolicy, NumberType >::solved ( const SpecSeries series) const [inline]

Definition at line 119 of file Scoring.hpp.

template<class IndexedDatabase , class SeriesPursePolicy = SAT2005SeriesPurse, typename NumberType = double>
number_type OKlib::SATCompetition::PurseScoring< IndexedDatabase, SeriesPursePolicy, NumberType >::speed_award ( const Solver solver,
const Benchmark bench 
) const [inline]

Definition at line 141 of file Scoring.hpp.

template<class IndexedDatabase , class SeriesPursePolicy = SAT2005SeriesPurse, typename NumberType = double>
number_type OKlib::SATCompetition::PurseScoring< IndexedDatabase, SeriesPursePolicy, NumberType >::speed_award ( const Solver solver) const [inline]

Definition at line 144 of file Scoring.hpp.

template<class IndexedDatabase , class SeriesPursePolicy = SAT2005SeriesPurse, typename NumberType = double>
number_type OKlib::SATCompetition::PurseScoring< IndexedDatabase, SeriesPursePolicy, NumberType >::speed_factor ( const Solver solver,
const Benchmark bench 
) const [inline]

Definition at line 130 of file Scoring.hpp.

template<class IndexedDatabase , class SeriesPursePolicy = SAT2005SeriesPurse, typename NumberType = double>
number_type OKlib::SATCompetition::PurseScoring< IndexedDatabase, SeriesPursePolicy, NumberType >::speed_factor ( const Benchmark bench) const [inline]

Definition at line 133 of file Scoring.hpp.

template<class IndexedDatabase , class SeriesPursePolicy = SAT2005SeriesPurse, typename NumberType = double>
number_type OKlib::SATCompetition::PurseScoring< IndexedDatabase, SeriesPursePolicy, NumberType >::total_time ( const Benchmark bench) const [inline]

Definition at line 137 of file Scoring.hpp.


Member Data Documentation

template<class IndexedDatabase , class SeriesPursePolicy = SAT2005SeriesPurse, typename NumberType = double>
const IndexedDatabase& OKlib::SATCompetition::PurseScoring< IndexedDatabase, SeriesPursePolicy, NumberType >::idb

Definition at line 81 of file Scoring.hpp.

template<class IndexedDatabase , class SeriesPursePolicy = SAT2005SeriesPurse, typename NumberType = double>
const number_type OKlib::SATCompetition::PurseScoring< IndexedDatabase, SeriesPursePolicy, NumberType >::standard_problem_purse

Definition at line 87 of file Scoring.hpp.

template<class IndexedDatabase , class SeriesPursePolicy = SAT2005SeriesPurse, typename NumberType = double>
const number_type OKlib::SATCompetition::PurseScoring< IndexedDatabase, SeriesPursePolicy, NumberType >::standard_series_factor

Definition at line 89 of file Scoring.hpp.

template<class IndexedDatabase , class SeriesPursePolicy = SAT2005SeriesPurse, typename NumberType = double>
const number_type OKlib::SATCompetition::PurseScoring< IndexedDatabase, SeriesPursePolicy, NumberType >::standard_series_purse

Definition at line 92 of file Scoring.hpp.

template<class IndexedDatabase , class SeriesPursePolicy = SAT2005SeriesPurse, typename NumberType = double>
const number_type OKlib::SATCompetition::PurseScoring< IndexedDatabase, SeriesPursePolicy, NumberType >::standard_speed_factor

Definition at line 88 of file Scoring.hpp.

template<class IndexedDatabase , class SeriesPursePolicy = SAT2005SeriesPurse, typename NumberType = double>
const number_type OKlib::SATCompetition::PurseScoring< IndexedDatabase, SeriesPursePolicy, NumberType >::standard_speed_purse

Definition at line 91 of file Scoring.hpp.


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