OKlibrary  0.2.1.6
OKlib::SATCompetition::LexicographicalSortingPolicy_unfolded_lexicographical< solver_evaluation_pair_type >::comparison_type Struct Reference

#include <LexicographicalEvaluationPolicies.hpp>

Inheritance diagram for OKlib::SATCompetition::LexicographicalSortingPolicy_unfolded_lexicographical< solver_evaluation_pair_type >::comparison_type:
binary_function

List of all members.

Public Member Functions

bool operator() (const solver_evaluation_pair_type &lhs, const solver_evaluation_pair_type &rhs) const

Detailed Description

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

Definition at line 104 of file LexicographicalEvaluationPolicies.hpp.


Member Function Documentation

template<class solver_evaluation_pair_type >
bool OKlib::SATCompetition::LexicographicalSortingPolicy_unfolded_lexicographical< solver_evaluation_pair_type >::comparison_type::operator() ( const solver_evaluation_pair_type &  lhs,
const solver_evaluation_pair_type &  rhs 
) const [inline]

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