OKlibrary  0.2.1.6
LexicographicalEvaluation.hpp File Reference

Evaluation of an "indexed database" by providing comparison tools based on aggregated series evaluations. More...

#include <map>
#include <utility>
#include <vector>
#include <algorithm>
#include <cassert>
#include <ostream>
#include <iterator>
#include <string>
#include <ios>
#include <iomanip>
#include <boost/functional.hpp>
#include <OKlib/Structures/Sets/SetAlgorithms/BasicMapOperations.hpp>
#include <OKlib/Programming/Utilities/OrderRelations/DerivedRelations.hpp>
#include <OKlib/Experimentation/Competition/SingleResult.hpp>
#include <OKlib/Experimentation/Competition/AnalysisTools.hpp>
#include <OKlib/Experimentation/Competition/LexicographicalEvaluationPolicies.hpp>

Go to the source code of this file.

Classes

class  OKlib::SATCompetition::LexicographicalEvaluation< IndexedDatabase, SeriesPolicy, NumberType >
 Given an "indexed database" of results, map each solver to the map, which assigns to each solved super-series the map, which assigns to each solved series the pair of solved-count and average running time. More...
struct  OKlib::SATCompetition::LexicographicalEvaluation< IndexedDatabase, SeriesPolicy, NumberType >::numerics_solver_on_series_type
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. More...
struct  OKlib::SATCompetition::LexicographicalEvaluationRandom< IndexedDatabase, SortingPolicy, NumberType >::sort_by_n
struct  OKlib::SATCompetition::LexicographicalEvaluationRandom_from_file< ParserExtension >

Namespaces

namespace  OKlib
 

All components of the OKlibrary.


namespace  OKlib::SATCompetition
 

Tools for evaluating SAT competition (under various circumstances)



Detailed Description

Evaluation of an "indexed database" by providing comparison tools based on aggregated series evaluations.

Tools providing for each solver the map from succesfully solved series to solve-count and average running time, and in case the series can be ordered by size, providing lexicographical evaluation.

Definition in file LexicographicalEvaluation.hpp.