OKlibrary  0.2.1.6
AnalysisTools.hpp File Reference

Class ElementaryAnalysis<Database> (supplying Database with some "indices") and related constructs. More...

#include <vector>
#include <utility>
#include <algorithm>
#include <iterator>
#include <stdexcept>
#include <string>
#include <ostream>
#include <boost/lexical_cast.hpp>
#include <OKlib/General/IteratorHandling.hpp>
#include <OKlib/Structures/Sets/SetAlgorithms/BasicMapOperations.hpp>
#include <OKlib/Experimentation/Competition/SingleResult.hpp>
#include <OKlib/Experimentation/Competition/ResultProcessing.hpp>

Go to the source code of this file.

Classes

class  OKlib::SATCompetition::ElementaryAnalysis< Database >
 Given a "database" of results, computes an "indexed database", providing elementary maps, for example assiging to a solver the set of solved benchmarks, and elementary sets, for example the set of "complete" solvers. More...
struct  OKlib::SATCompetition::ElementaryAnalysis< Database >::SolvedBenchmark
struct  OKlib::SATCompetition::ElementaryAnalysis< Database >::ErrorElementaryAnalysis
struct  OKlib::SATCompetition::ElementaryAnalysis< Database >::AmbigueBenchmark
struct  OKlib::SATCompetition::ElementaryAnalysis< Database >::AmbigueSolution

Namespaces

namespace  OKlib
 

All components of the OKlibrary.


namespace  OKlib::SATCompetition
 

Tools for evaluating SAT competition (under various circumstances)



Detailed Description

Class ElementaryAnalysis<Database> (supplying Database with some "indices") and related constructs.

Definition in file AnalysisTools.hpp.