OKlibrary  0.2.1.6
ResultProcessing.hpp File Reference

Classes for building from a raw sequence of results the bipartite attribute-result graph and accessing the set of common results for a set of attribute values. More...

#include <vector>
#include <set>
#include <map>
#include <utility>
#include <algorithm>
#include <iterator>
#include <ostream>
#include <cassert>
#include <OKlib/General/FunctionHandling.hpp>
#include <OKlib/Structures/Sets/SetAlgorithms/BasicSetOperations.hpp>
#include <OKlib/Experimentation/Competition/SingleResult.hpp>
#include <OKlib/Experimentation/Competition/ParsingSingleResult.hpp>
#include <OKlib/Experimentation/Competition/ParsingResultSequences.hpp>

Go to the source code of this file.

Classes

struct  OKlib::SATCompetition::ResultNode
class  OKlib::SATCompetition::ResultDatabase< ResultIterator >
 Creates the undirected ("bi-directed") bipartite attribute-result graphs from a sequence of results, and enables computation of the set of common results for a set of attribute-values (for different attributes). More...
struct  OKlib::SATCompetition::Result_database_from_file< ParserResult, Result_, ParserExtension, Container >

Namespaces

namespace  OKlib
 

All components of the OKlibrary.


namespace  OKlib::SATCompetition
 

Tools for evaluating SAT competition (under various circumstances)


Typedefs

typedef std::set< const
ResultNode * > 
OKlib::SATCompetition::SetResultNodesP
typedef std::map< SuperSeries,
SetResultNodesP * > 
OKlib::SATCompetition::MapSuperSeries
typedef std::map< Series,
SetResultNodesP * > 
OKlib::SATCompetition::MapSeries
typedef std::map< Benchmark,
SetResultNodesP * > 
OKlib::SATCompetition::MapBenchmark
typedef std::map< Solver,
SetResultNodesP * > 
OKlib::SATCompetition::MapSolver
typedef std::map< SATStatus,
SetResultNodesP * > 
OKlib::SATCompetition::MapSATStatus
typedef std::map< TimeOut,
SetResultNodesP * > 
OKlib::SATCompetition::MapTimeOut
typedef std::vector< const
ResultNode * > 
OKlib::SATCompetition::VectorResultNodesP

Functions

std::ostream & OKlib::SATCompetition::operator<< (std::ostream &out, const ResultNode &r)
std::ostream & OKlib::SATCompetition::operator<< (std::ostream &out, const VectorResultNodesP &vec)

Detailed Description

Classes for building from a raw sequence of results the bipartite attribute-result graph and accessing the set of common results for a set of attribute values.

Defines class ResultNode, containing a pointer to a ResultBasis object and iterators to maps, which map result subelements (like Series or Solver) to the set of pointers to ResultNode's, and defines the class ResultDatabase, which from an iteration over Result's creates a "web" of ResultNodes.

Todo:
Yet the types ResultNode etc. are hard-coded --- they should become parameters.

Definition in file ResultProcessing.hpp.