OKlibrary  0.2.1.6
LexicographicalEvaluationPolicies.hpp File Reference

Policies used by LexicographicalEvaluation.hpp. More...

Go to the source code of this file.

Classes

struct  OKlib::SATCompetition::LexicographicalSeriesPolicy< Result >
struct  OKlib::SATCompetition::LexicographicalSeriesPolicy< ResultRandomSat >
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. More...
struct  OKlib::SATCompetition::LexicographicalSortingPolicy_induced_lexicographical< solver_evaluation_pair_type >::comparison_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. More...
struct  OKlib::SATCompetition::LexicographicalSortingPolicy_unfolded_lexicographical< solver_evaluation_pair_type >::comparison_type

Namespaces

namespace  OKlib
 

All components of the OKlibrary.


namespace  OKlib::SATCompetition
 

Tools for evaluating SAT competition (under various circumstances)



Detailed Description

Policies used by LexicographicalEvaluation.hpp.

Todo:

Write a concept.

Write accompanying Test and Testobjects files.

Definition in file LexicographicalEvaluationPolicies.hpp.