OKlibrary  0.2.1.6
OKlib::SATCompetition::Scoring_from_file< ParserExtension, ResultClass, SeriesPursePolicy >::scoring Class Reference

Contains scoring related data for one solver. More...

#include <Scoring.hpp>

List of all members.

Public Types

typedef std::vector< series_infovector_type
typedef unsigned int natural_number_type

Public Member Functions

 scoring (const Solver &solver, const number_type score, const number_type problem_purse, const number_type speed_award, const number_type series_purse, const natural_number_type instances_solved)
 OKLIB_DERIVED_RELATIONS_FRIENDS (scoring)

Public Attributes

Solver solver
number_type score
number_type problem_purse
number_type speed_award
number_type series_purse
vector_type series_info_vector
natural_number_type instances_solved

Friends

bool operator< (const scoring &lhs, const scoring &rhs)
bool operator== (const scoring &lhs, const scoring &rhs)
std::ostream & operator<< (std::ostream &out, const scoring &s)

Detailed Description

template<template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty, class ResultClass = Result, class SeriesPursePolicy = SAT2005SeriesPurse>
class OKlib::SATCompetition::Scoring_from_file< ParserExtension, ResultClass, SeriesPursePolicy >::scoring

Contains scoring related data for one solver.

Todo:
Not only the number of instances solved, but also the number of sat and unsat instances solved.

Definition at line 399 of file Scoring.hpp.


Member Typedef Documentation

template<template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty, class ResultClass = Result, class SeriesPursePolicy = SAT2005SeriesPurse>
typedef unsigned int OKlib::SATCompetition::Scoring_from_file< ParserExtension, ResultClass, SeriesPursePolicy >::scoring::natural_number_type

Definition at line 409 of file Scoring.hpp.

template<template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty, class ResultClass = Result, class SeriesPursePolicy = SAT2005SeriesPurse>
typedef std::vector<series_info> OKlib::SATCompetition::Scoring_from_file< ParserExtension, ResultClass, SeriesPursePolicy >::scoring::vector_type

Definition at line 406 of file Scoring.hpp.


Constructor & Destructor Documentation

template<template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty, class ResultClass = Result, class SeriesPursePolicy = SAT2005SeriesPurse>
OKlib::SATCompetition::Scoring_from_file< ParserExtension, ResultClass, SeriesPursePolicy >::scoring::scoring ( const Solver solver,
const number_type  score,
const number_type  problem_purse,
const number_type  speed_award,
const number_type  series_purse,
const natural_number_type  instances_solved 
) [inline]

Definition at line 413 of file Scoring.hpp.


Member Function Documentation

template<template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty, class ResultClass = Result, class SeriesPursePolicy = SAT2005SeriesPurse>
OKlib::SATCompetition::Scoring_from_file< ParserExtension, ResultClass, SeriesPursePolicy >::scoring::OKLIB_DERIVED_RELATIONS_FRIENDS ( scoring  )

Friends And Related Function Documentation

template<template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty, class ResultClass = Result, class SeriesPursePolicy = SAT2005SeriesPurse>
bool operator< ( const scoring lhs,
const scoring rhs 
) [friend]

Definition at line 414 of file Scoring.hpp.

template<template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty, class ResultClass = Result, class SeriesPursePolicy = SAT2005SeriesPurse>
std::ostream& operator<< ( std::ostream &  out,
const scoring s 
) [friend]

Definition at line 421 of file Scoring.hpp.

template<template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty, class ResultClass = Result, class SeriesPursePolicy = SAT2005SeriesPurse>
bool operator== ( const scoring lhs,
const scoring rhs 
) [friend]

Definition at line 417 of file Scoring.hpp.


Member Data Documentation

template<template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty, class ResultClass = Result, class SeriesPursePolicy = SAT2005SeriesPurse>
natural_number_type OKlib::SATCompetition::Scoring_from_file< ParserExtension, ResultClass, SeriesPursePolicy >::scoring::instances_solved

Definition at line 410 of file Scoring.hpp.

template<template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty, class ResultClass = Result, class SeriesPursePolicy = SAT2005SeriesPurse>
number_type OKlib::SATCompetition::Scoring_from_file< ParserExtension, ResultClass, SeriesPursePolicy >::scoring::problem_purse

Definition at line 402 of file Scoring.hpp.

template<template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty, class ResultClass = Result, class SeriesPursePolicy = SAT2005SeriesPurse>
number_type OKlib::SATCompetition::Scoring_from_file< ParserExtension, ResultClass, SeriesPursePolicy >::scoring::score

Definition at line 401 of file Scoring.hpp.

template<template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty, class ResultClass = Result, class SeriesPursePolicy = SAT2005SeriesPurse>
vector_type OKlib::SATCompetition::Scoring_from_file< ParserExtension, ResultClass, SeriesPursePolicy >::scoring::series_info_vector

Definition at line 407 of file Scoring.hpp.

template<template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty, class ResultClass = Result, class SeriesPursePolicy = SAT2005SeriesPurse>
number_type OKlib::SATCompetition::Scoring_from_file< ParserExtension, ResultClass, SeriesPursePolicy >::scoring::series_purse

Definition at line 404 of file Scoring.hpp.

template<template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty, class ResultClass = Result, class SeriesPursePolicy = SAT2005SeriesPurse>
Solver OKlib::SATCompetition::Scoring_from_file< ParserExtension, ResultClass, SeriesPursePolicy >::scoring::solver

Definition at line 400 of file Scoring.hpp.

template<template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty, class ResultClass = Result, class SeriesPursePolicy = SAT2005SeriesPurse>
number_type OKlib::SATCompetition::Scoring_from_file< ParserExtension, ResultClass, SeriesPursePolicy >::scoring::speed_award

Definition at line 403 of file Scoring.hpp.


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