OKlibrary  0.2.1.6
ParsingResultSequences.hpp File Reference
#include <iterator>
#include <string>
#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>
#include <OKlib/Experimentation/Competition/ParsingSingleResult.hpp>

Go to the source code of this file.

Classes

class  OKlib::SATCompetition::ParserResultSequence< ParserResult, OutputIterator >
struct  OKlib::SATCompetition::ParserResultSequence< ParserResult, OutputIterator >::action
struct  OKlib::SATCompetition::Copy_results< ParserResult, OutputIterator >
struct  OKlib::SATCompetition::Copy_results_from_file< ParserResult, OutputIterator, Result_, ParserExtension >
struct  OKlib::SATCompetition::Copy_results_from_file_to_container< ParserResult, Container, Result_, ParserExtension >

Namespaces

namespace  OKlib
 

All components of the OKlibrary.


namespace  OKlib::SATCompetition
 

Tools for evaluating SAT competition (under various circumstances)


Functions

template<class ParserResult , class OutputIterator >
Copy_results< ParserResult,
OutputIterator >
::parse_info_it 
OKlib::SATCompetition::copy_results (const typename ParserResult::ParseIterator begin_in, const typename ParserResult::ParseIterator end_in, const OutputIterator begin_out)
template<class ParserResult , typename PIterator , class OutputIterator >
Copy_results< ParserResult,
OutputIterator >::parse_info_c 
OKlib::SATCompetition::copy_results (const PIterator begin_in, const OutputIterator begin_out)