OKlibrary  0.2.1.6
OKlib::SATCompetition::LexicographicalEvaluation< IndexedDatabase, SeriesPolicy, NumberType >::numerics_solver_on_series_type Struct Reference

#include <LexicographicalEvaluation.hpp>

List of all members.

Public Types

typedef size_type first_type
typedef number_type second_type

Public Member Functions

 numerics_solver_on_series_type ()
 numerics_solver_on_series_type (const size_type first, const number_type second)

Public Attributes

size_type first
number_type second

Detailed Description

template<class IndexedDatabase, class SeriesPolicy = LexicographicalSeriesPolicy<Result>, typename NumberType = double>
struct OKlib::SATCompetition::LexicographicalEvaluation< IndexedDatabase, SeriesPolicy, NumberType >::numerics_solver_on_series_type

Definition at line 77 of file LexicographicalEvaluation.hpp.


Member Typedef Documentation

template<class IndexedDatabase , class SeriesPolicy = LexicographicalSeriesPolicy<Result>, typename NumberType = double>
typedef size_type OKlib::SATCompetition::LexicographicalEvaluation< IndexedDatabase, SeriesPolicy, NumberType >::numerics_solver_on_series_type::first_type

Definition at line 78 of file LexicographicalEvaluation.hpp.

template<class IndexedDatabase , class SeriesPolicy = LexicographicalSeriesPolicy<Result>, typename NumberType = double>
typedef number_type OKlib::SATCompetition::LexicographicalEvaluation< IndexedDatabase, SeriesPolicy, NumberType >::numerics_solver_on_series_type::second_type

Definition at line 79 of file LexicographicalEvaluation.hpp.


Constructor & Destructor Documentation

template<class IndexedDatabase , class SeriesPolicy = LexicographicalSeriesPolicy<Result>, typename NumberType = double>
OKlib::SATCompetition::LexicographicalEvaluation< IndexedDatabase, SeriesPolicy, NumberType >::numerics_solver_on_series_type::numerics_solver_on_series_type ( ) [inline]

Definition at line 82 of file LexicographicalEvaluation.hpp.

template<class IndexedDatabase , class SeriesPolicy = LexicographicalSeriesPolicy<Result>, typename NumberType = double>
OKlib::SATCompetition::LexicographicalEvaluation< IndexedDatabase, SeriesPolicy, NumberType >::numerics_solver_on_series_type::numerics_solver_on_series_type ( const size_type  first,
const number_type  second 
) [inline]

Definition at line 83 of file LexicographicalEvaluation.hpp.


Member Data Documentation

template<class IndexedDatabase , class SeriesPolicy = LexicographicalSeriesPolicy<Result>, typename NumberType = double>
size_type OKlib::SATCompetition::LexicographicalEvaluation< IndexedDatabase, SeriesPolicy, NumberType >::numerics_solver_on_series_type::first
template<class IndexedDatabase , class SeriesPolicy = LexicographicalSeriesPolicy<Result>, typename NumberType = double>
number_type OKlib::SATCompetition::LexicographicalEvaluation< IndexedDatabase, SeriesPolicy, NumberType >::numerics_solver_on_series_type::second

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