OKlibrary  0.2.1.6
ParsingSingleResult.hpp File Reference

Parser classes for parsing parts of some result ("result elements"), and the parser classe template ParserResult for parsing complete results (respectively "random-results"). More...

#include <string>
#include <stdexcept>
#include <boost/spirit/include/classic_core.hpp>
#include <boost/spirit/include/classic_file_iterator.hpp>
#include <boost/spirit/include/classic_position_iterator.hpp>
#include <boost/filesystem/path.hpp>
#include <boost/lexical_cast.hpp>
#include <OKlib/Programming/Parsing/ParserBase.hpp>
#include <OKlib/Experimentation/Competition/SingleResult.hpp>

Go to the source code of this file.

Classes

struct  OKlib::SATCompetition::ParserError
class  OKlib::SATCompetition::ParserResultElement< SuperSeries, CharT, ParseIterator >
struct  OKlib::SATCompetition::ParserResultElement< SuperSeries, CharT, ParseIterator >::action
class  OKlib::SATCompetition::ParserResultElement< RandomKSat, CharT, ParseIterator >
struct  OKlib::SATCompetition::ParserResultElement< RandomKSat, CharT, ParseIterator >::action1
struct  OKlib::SATCompetition::ParserResultElement< RandomKSat, CharT, ParseIterator >::action2
class  OKlib::SATCompetition::ParserResultElement< Series, CharT, ParseIterator >
struct  OKlib::SATCompetition::ParserResultElement< Series, CharT, ParseIterator >::action
class  OKlib::SATCompetition::ParserResultElement< RandomKSat_n, CharT, ParseIterator >
struct  OKlib::SATCompetition::ParserResultElement< RandomKSat_n, CharT, ParseIterator >::action1
struct  OKlib::SATCompetition::ParserResultElement< RandomKSat_n, CharT, ParseIterator >::action2
class  OKlib::SATCompetition::ParserResultElement< Benchmark, CharT, ParseIterator >
struct  OKlib::SATCompetition::ParserResultElement< Benchmark, CharT, ParseIterator >::action
class  OKlib::SATCompetition::ParserResultElement< Solver, CharT, ParseIterator >
struct  OKlib::SATCompetition::ParserResultElement< Solver, CharT, ParseIterator >::action
class  OKlib::SATCompetition::ParserResultElement< SATStatus, CharT, ParseIterator >
struct  OKlib::SATCompetition::ParserResultElement< SATStatus, CharT, ParseIterator >::action
class  OKlib::SATCompetition::ParserResultElement< AverageTime, CharT, ParseIterator >
struct  OKlib::SATCompetition::ParserResultElement< AverageTime, CharT, ParseIterator >::action
class  OKlib::SATCompetition::ParserResultElement< TimeOut, CharT, ParseIterator >
struct  OKlib::SATCompetition::ParserResultElement< TimeOut, CharT, ParseIterator >::action
struct  OKlib::SATCompetition::ParserEmpty< CharT, ParseIterator >
struct  OKlib::SATCompetition::ParserThreeElements< CharT, ParseIterator >
class  OKlib::SATCompetition::ParserResult< Result, CharT, ParseIterator, ParserExtension >
class  OKlib::SATCompetition::ParserResult< ResultRandomSat, CharT, ParseIterator, ParserExtension >

Namespaces

namespace  OKlib
 

All components of the OKlibrary.


namespace  OKlib::SATCompetition
 

Tools for evaluating SAT competition (under various circumstances)


Defines

#define BOOST_SPIRIT_USE_OLD_NAMESPACE

Detailed Description

Parser classes for parsing parts of some result ("result elements"), and the parser classe template ParserResult for parsing complete results (respectively "random-results").

Definition in file ParsingSingleResult.hpp.


Define Documentation

Definition at line 17 of file ParsingSingleResult.hpp.