OKlibrary  0.2.1.6
ParsingSingleResult_Tests.hpp File Reference
#include <sstream>
#include <string>
#include <vector>
#include <utility>
#include <algorithm>
#include <iterator>
#include <list>
#include <fstream>
#include <boost/spirit/include/classic_core.hpp>
#include <boost/lexical_cast.hpp>
#include <boost/tuple/tuple.hpp>
#include <boost/spirit/include/classic_file_iterator.hpp>
#include <boost/spirit/include/classic_position_iterator.hpp>
#include <boost/filesystem/path.hpp>
#include <OKlib/TestSystem/TestBaseClass.hpp>
#include <OKlib/TestSystem/TestExceptions.hpp>
#include <OKlib/Programming/Parsing/ParserBase_Tests.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::Test_ParserResultElement_SuperSeries_positive_cases< SuperSeries >
class  OKlib::SATCompetition::Test_ParserResultElement_SuperSeries_negative_cases< SuperSeries >
class  OKlib::SATCompetition::Test_ParserResultElement_SuperSeries< SuperSeries >
class  OKlib::SATCompetition::Test_ParserResultElement_RandomKSat_positive_cases< RandomKSat >
class  OKlib::SATCompetition::Test_ParserResultElement_RandomKSat_negative_cases< RandomKSat >
class  OKlib::SATCompetition::Test_ParserResultElement_RandomKSat< RandomKSat >
class  OKlib::SATCompetition::Test_ParserResultElement_Series_positive_cases< Series >
class  OKlib::SATCompetition::Test_ParserResultElement_Series_negative_cases< Series >
class  OKlib::SATCompetition::Test_ParserResultElement_Series< Series >
class  OKlib::SATCompetition::Test_ParserResultElement_RandomKSat_n_positive_cases< RandomKSat_n >
class  OKlib::SATCompetition::Test_ParserResultElement_RandomKSat_n_negative_cases< RandomKSat_n >
class  OKlib::SATCompetition::Test_ParserResultElement_RandomKSat_n< RandomKSat_n >
class  OKlib::SATCompetition::Test_ParserResultElement_Benchmark_positive_cases< Benchmark >
class  OKlib::SATCompetition::Test_ParserResultElement_Benchmark_negative_cases< Benchmark >
class  OKlib::SATCompetition::Test_ParserResultElement_Benchmark< Benchmark >
class  OKlib::SATCompetition::Test_ParserResultElement_Solver_positive_cases< Solver >
class  OKlib::SATCompetition::Test_ParserResultElement_Solver_negative_cases< Solver >
class  OKlib::SATCompetition::Test_ParserResultElement_Solver< Solver >
class  OKlib::SATCompetition::Test_ParserResultElement_SATStatus_positive_cases< SATStatus >
class  OKlib::SATCompetition::Test_ParserResultElement_SATStatus_negative_cases< SATStatus >
class  OKlib::SATCompetition::Test_ParserResultElement_SATStatus< SATStatus >
class  OKlib::SATCompetition::Test_ParserResultElement_AverageTime_positive_cases< AverageTime >
class  OKlib::SATCompetition::Test_ParserResultElement_AverageTime_negative_cases< AverageTime >
class  OKlib::SATCompetition::Test_ParserResultElement_AverageTime< AverageTime >
class  OKlib::SATCompetition::Test_ParserResultElement_TimeOut_positive_cases< TimeOut >
class  OKlib::SATCompetition::Test_ParserResultElement_TimeOut_negative_cases< TimeOut >
class  OKlib::SATCompetition::Test_ParserResultElement_TimeOut< TimeOut >
struct  OKlib::SATCompetition::Add_positive_result_tuples< Container, TupleResult >
struct  OKlib::SATCompetition::Add_positive_result_tuples< Container, TupleResultRandomSat >
class  OKlib::SATCompetition::Test_ParserResult_Result_positive_cases< Result >
class  OKlib::SATCompetition::Test_ParserResult_Result_negative_cases< Result >
class  OKlib::SATCompetition::Test_ParserResult_Result< Result >
class  OKlib::SATCompetition::Test_ParserResult_ResultRandomSat_positive_cases< ResultRandomSat >
class  OKlib::SATCompetition::Test_ParserResult_ResultRandomSat< ResultRandomSat >

Namespaces

namespace  OKlib
 

All components of the OKlibrary.


namespace  OKlib::SATCompetition
 

Tools for evaluating SAT competition (under various circumstances)


Functions

template<class Container >
void OKlib::SATCompetition::add_positive_result_tuples (Container &C)