OKlibrary  0.2.1.6
OKlib::SATCompetition::LexicographicalEvaluationRandom< IndexedDatabase, SortingPolicy, NumberType > Class Template Reference

Given an "indexed database" of results, map each super-series to the set of solver-resultvector pairs, where the resultvectors contain the series evaluations computed by LexicographicalEvaluation, and the order of these pairs is some variation of lexicographical order. More...

#include <LexicographicalEvaluation.hpp>

List of all members.

Classes

struct  sort_by_n

Public Types

typedef IndexedDatabase database_type
typedef NumberType number_type
typedef
LexicographicalEvaluation
< database_type,
LexicographicalSeriesPolicy
< ResultRandomSat >
, number_type
lexicographical_evaluation_type
typedef
lexicographical_evaluation_type::numerics_solver_on_series_type 
numerics_solver_on_series_type
typedef
lexicographical_evaluation_type::size_type 
size_type
typedef std::vector
< numerics_solver_on_series_type
evaluation_vector_type
typedef std::pair< Solver,
evaluation_vector_type
solver_evaluation_pair_type
typedef SortingPolicy
< solver_evaluation_pair_type >
::comparison_type 
comparison_type
typedef std::set
< solver_evaluation_pair_type,
comparison_type
set_of_evaluations_type
typedef std::map< RandomKSat,
set_of_evaluations_type
map_super_series_to_evaluations_type

Public Member Functions

 LexicographicalEvaluationRandom (const IndexedDatabase &idb)
const set_of_evaluations_typeevaluation (const SuperSeries &super_series) const
void print (std::ostream &out) const

Public Attributes

const database_typeidb
map_super_series_to_evaluations_type map

Detailed Description

template<class IndexedDatabase, template< class solver_evaluation_pair_type > class SortingPolicy = LexicographicalSortingPolicy_unfolded_lexicographical, typename NumberType = double>
class OKlib::SATCompetition::LexicographicalEvaluationRandom< IndexedDatabase, SortingPolicy, NumberType >

Given an "indexed database" of results, map each super-series to the set of solver-resultvector pairs, where the resultvectors contain the series evaluations computed by LexicographicalEvaluation, and the order of these pairs is some variation of lexicographical order.

Definition at line 184 of file LexicographicalEvaluation.hpp.


Member Typedef Documentation

template<class IndexedDatabase, template< class solver_evaluation_pair_type > class SortingPolicy = LexicographicalSortingPolicy_unfolded_lexicographical, typename NumberType = double>
typedef SortingPolicy<solver_evaluation_pair_type>::comparison_type OKlib::SATCompetition::LexicographicalEvaluationRandom< IndexedDatabase, SortingPolicy, NumberType >::comparison_type

Definition at line 197 of file LexicographicalEvaluation.hpp.

template<class IndexedDatabase, template< class solver_evaluation_pair_type > class SortingPolicy = LexicographicalSortingPolicy_unfolded_lexicographical, typename NumberType = double>
typedef IndexedDatabase OKlib::SATCompetition::LexicographicalEvaluationRandom< IndexedDatabase, SortingPolicy, NumberType >::database_type

Definition at line 187 of file LexicographicalEvaluation.hpp.

template<class IndexedDatabase, template< class solver_evaluation_pair_type > class SortingPolicy = LexicographicalSortingPolicy_unfolded_lexicographical, typename NumberType = double>
typedef std::vector<numerics_solver_on_series_type> OKlib::SATCompetition::LexicographicalEvaluationRandom< IndexedDatabase, SortingPolicy, NumberType >::evaluation_vector_type

Definition at line 194 of file LexicographicalEvaluation.hpp.

template<class IndexedDatabase, template< class solver_evaluation_pair_type > class SortingPolicy = LexicographicalSortingPolicy_unfolded_lexicographical, typename NumberType = double>
typedef LexicographicalEvaluation<database_type, LexicographicalSeriesPolicy<ResultRandomSat>, number_type> OKlib::SATCompetition::LexicographicalEvaluationRandom< IndexedDatabase, SortingPolicy, NumberType >::lexicographical_evaluation_type

Definition at line 190 of file LexicographicalEvaluation.hpp.

template<class IndexedDatabase, template< class solver_evaluation_pair_type > class SortingPolicy = LexicographicalSortingPolicy_unfolded_lexicographical, typename NumberType = double>
typedef std::map<RandomKSat, set_of_evaluations_type> OKlib::SATCompetition::LexicographicalEvaluationRandom< IndexedDatabase, SortingPolicy, NumberType >::map_super_series_to_evaluations_type

Definition at line 278 of file LexicographicalEvaluation.hpp.

template<class IndexedDatabase, template< class solver_evaluation_pair_type > class SortingPolicy = LexicographicalSortingPolicy_unfolded_lexicographical, typename NumberType = double>
typedef NumberType OKlib::SATCompetition::LexicographicalEvaluationRandom< IndexedDatabase, SortingPolicy, NumberType >::number_type

Definition at line 188 of file LexicographicalEvaluation.hpp.

template<class IndexedDatabase, template< class solver_evaluation_pair_type > class SortingPolicy = LexicographicalSortingPolicy_unfolded_lexicographical, typename NumberType = double>
typedef lexicographical_evaluation_type::numerics_solver_on_series_type OKlib::SATCompetition::LexicographicalEvaluationRandom< IndexedDatabase, SortingPolicy, NumberType >::numerics_solver_on_series_type

Definition at line 191 of file LexicographicalEvaluation.hpp.

template<class IndexedDatabase, template< class solver_evaluation_pair_type > class SortingPolicy = LexicographicalSortingPolicy_unfolded_lexicographical, typename NumberType = double>
typedef std::set<solver_evaluation_pair_type, comparison_type> OKlib::SATCompetition::LexicographicalEvaluationRandom< IndexedDatabase, SortingPolicy, NumberType >::set_of_evaluations_type

Definition at line 198 of file LexicographicalEvaluation.hpp.

template<class IndexedDatabase, template< class solver_evaluation_pair_type > class SortingPolicy = LexicographicalSortingPolicy_unfolded_lexicographical, typename NumberType = double>
typedef lexicographical_evaluation_type::size_type OKlib::SATCompetition::LexicographicalEvaluationRandom< IndexedDatabase, SortingPolicy, NumberType >::size_type

Definition at line 192 of file LexicographicalEvaluation.hpp.

template<class IndexedDatabase, template< class solver_evaluation_pair_type > class SortingPolicy = LexicographicalSortingPolicy_unfolded_lexicographical, typename NumberType = double>
typedef std::pair<Solver, evaluation_vector_type> OKlib::SATCompetition::LexicographicalEvaluationRandom< IndexedDatabase, SortingPolicy, NumberType >::solver_evaluation_pair_type

Definition at line 195 of file LexicographicalEvaluation.hpp.


Constructor & Destructor Documentation

template<class IndexedDatabase, template< class solver_evaluation_pair_type > class SortingPolicy = LexicographicalSortingPolicy_unfolded_lexicographical, typename NumberType = double>
OKlib::SATCompetition::LexicographicalEvaluationRandom< IndexedDatabase, SortingPolicy, NumberType >::LexicographicalEvaluationRandom ( const IndexedDatabase &  idb) [inline]

Definition at line 202 of file LexicographicalEvaluation.hpp.


Member Function Documentation

template<class IndexedDatabase, template< class solver_evaluation_pair_type > class SortingPolicy = LexicographicalSortingPolicy_unfolded_lexicographical, typename NumberType = double>
const set_of_evaluations_type& OKlib::SATCompetition::LexicographicalEvaluationRandom< IndexedDatabase, SortingPolicy, NumberType >::evaluation ( const SuperSeries &  super_series) const [inline]

Definition at line 272 of file LexicographicalEvaluation.hpp.

template<class IndexedDatabase, template< class solver_evaluation_pair_type > class SortingPolicy = LexicographicalSortingPolicy_unfolded_lexicographical, typename NumberType = double>
void OKlib::SATCompetition::LexicographicalEvaluationRandom< IndexedDatabase, SortingPolicy, NumberType >::print ( std::ostream &  out) const [inline]

Member Data Documentation

template<class IndexedDatabase, template< class solver_evaluation_pair_type > class SortingPolicy = LexicographicalSortingPolicy_unfolded_lexicographical, typename NumberType = double>
const database_type& OKlib::SATCompetition::LexicographicalEvaluationRandom< IndexedDatabase, SortingPolicy, NumberType >::idb

Definition at line 200 of file LexicographicalEvaluation.hpp.

template<class IndexedDatabase, template< class solver_evaluation_pair_type > class SortingPolicy = LexicographicalSortingPolicy_unfolded_lexicographical, typename NumberType = double>
map_super_series_to_evaluations_type OKlib::SATCompetition::LexicographicalEvaluationRandom< IndexedDatabase, SortingPolicy, NumberType >::map

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