OKlibrary  0.2.1.6
Analyse.cpp File Reference

Reading in a data file, computing the lexicographical order of solvers. Superseded by ComputeLexicographicalEvaluation (which handles directly the original data file). More...

#include <iostream>
#include <vector>
#include <algorithm>
#include <set>
#include <stdexcept>
#include <string>
#include <iterator>
#include <cstdlib>
#include <fstream>
#include <cassert>
#include <boost/lexical_cast.hpp>

Go to the source code of this file.

Classes

struct  Analyse::FormatError
struct  Analyse::mean_time
struct  Analyse::SolverResult

Namespaces

namespace  Analyse

Typedefs

typedef unsigned int Analyse::CountSolved
typedef unsigned int Analyse::NumberSolver
typedef double Analyse::Time
typedef std::set< SolverResult > Analyse::SolverResults

Functions

std::istream & Analyse::operator>> (std::istream &in, mean_time &t)
std::ostream & Analyse::operator<< (std::ostream &out, const mean_time &t)
bool Analyse::operator< (const mean_time &a, const mean_time &b)
bool Analyse::operator< (const SolverResult &a, const SolverResult &b)
std::ostream & Analyse::operator<< (std::ostream &out, const SolverResult &r)
std::istream & Analyse::operator>> (std::istream &in, SolverResults &R)
std::ostream & Analyse::operator<< (std::ostream &out, const SolverResults &R)
int main (const int argc, const char *const argv[])

Detailed Description

Reading in a data file, computing the lexicographical order of solvers. Superseded by ComputeLexicographicalEvaluation (which handles directly the original data file).

Definition in file Analyse.cpp.


Function Documentation

int main ( const int  argc,
const char *const  argv[] 
)

Definition at line 155 of file Analyse.cpp.

References R.