OKlibrary  0.2.1.6
OKlib::SATCompetition::LexicographicalSortingPolicy_induced_lexicographical< solver_evaluation_pair_type > Class Template Reference

Policy for LexicographicalEvaluationRandom yielding the order of evaluation vectors which is the lexicographical order based on the order given for numerics_solver_on_series_type. More...

#include <LexicographicalEvaluationPolicies.hpp>

Classes

struct  comparison_type

Detailed Description

template<class solver_evaluation_pair_type>
class OKlib::SATCompetition::LexicographicalSortingPolicy_induced_lexicographical< solver_evaluation_pair_type >

Policy for LexicographicalEvaluationRandom yielding the order of evaluation vectors which is the lexicographical order based on the order given for numerics_solver_on_series_type.

Definition at line 87 of file LexicographicalEvaluationPolicies.hpp.


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