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

Policy for LexicographicalEvaluationRandom yielding the order of evaluation vectors which is the lexicographical order when unfolding the pairs, that is, first all first components, then all second components. More...

#include <LexicographicalEvaluationPolicies.hpp>

Classes

struct  comparison_type

Detailed Description

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

Policy for LexicographicalEvaluationRandom yielding the order of evaluation vectors which is the lexicographical order when unfolding the pairs, that is, first all first components, then all second components.

Definition at line 103 of file LexicographicalEvaluationPolicies.hpp.


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