OKlibrary  0.2.1.6
OKlib::SATCompetition::Scoring_from_file< ParserExtension, ResultClass, SeriesPursePolicy >::series_info Struct Reference

#include <Scoring.hpp>

List of all members.

Public Member Functions

 series_info (const SpecSeries &series, const number_type total_series_purse, const number_type solver_series_purse)
bool solved () const
 OKLIB_DERIVED_RELATIONS_FRIENDS (series_info)

Public Attributes

SpecSeries series
number_type total_series_purse
number_type solver_series_purse

Friends

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

Detailed Description

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

Definition at line 364 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 >::series_info::series_info ( const SpecSeries series,
const number_type  total_series_purse,
const number_type  solver_series_purse 
) [inline]

Definition at line 368 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 >::series_info::OKLIB_DERIVED_RELATIONS_FRIENDS ( series_info  )
template<template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty, class ResultClass = Result, class SeriesPursePolicy = SAT2005SeriesPurse>
bool OKlib::SATCompetition::Scoring_from_file< ParserExtension, ResultClass, SeriesPursePolicy >::series_info::solved ( ) const [inline]

Friends And Related Function Documentation

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

Definition at line 370 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 series_info s 
) [friend]

Definition at line 377 of file Scoring.hpp.

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

Definition at line 373 of file Scoring.hpp.


Member Data Documentation

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

Definition at line 365 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 >::series_info::solver_series_purse
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 >::series_info::total_series_purse

Definition at line 366 of file Scoring.hpp.


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