OKlibrary  0.2.1.6
ResultProcessing_Tests.hpp File Reference
#include <vector>
#include <sstream>
#include <algorithm>
#include <cassert>
#include <string>
#include <set>
#include <iterator>
#include <utility>
#include <boost/lexical_cast.hpp>
#include <boost/iterator/transform_iterator.hpp>
#include <OKlib/General/FunctionHandling.hpp>
#include <OKlib/Structures/Sets/SetAlgorithms/BasicMapOperations.hpp>
#include <OKlib/TestSystem/TestBaseClass.hpp>
#include <OKlib/TestSystem/TestExceptions.hpp>
#include <OKlib/Experimentation/Competition/SingleResult.hpp>
#include <OKlib/Experimentation/Competition/ParsingSingleResult_Tests.hpp>
#include <OKlib/Experimentation/Competition/ParsingResultSequences.hpp>
#include <OKlib/Experimentation/Competition/ParsingResultSequences_Tests.hpp>

Go to the source code of this file.

Classes

class  OKlib::SATCompetition::Check_sizes< Map, Size >
class  OKlib::SATCompetition::Check_set< Map, Set >
class  OKlib::SATCompetition::Test_Database_vs_Container< ResultDatabase, ResultContainer >
class  OKlib::SATCompetition::Test_ResultDatabase_ResultIterator< ResultDatabase >

Namespaces

namespace  OKlib
 

All components of the OKlibrary.


namespace  OKlib::SATCompetition
 

Tools for evaluating SAT competition (under various circumstances)


Functions

template<class Map , typename Size >
Check_sizes< Map, Size > OKlib::SATCompetition::check_sizes (const Map &m, const Size s)
template<class Map , class Set >
Check_set< Map, Set > OKlib::SATCompetition::check_set (const Map &m, const Set &s)
template<class ResultDatabase , class ResultContainer >
Test_Database_vs_Container
< ResultDatabase,
ResultContainer > 
OKlib::SATCompetition::test_Database_vs_Container (ResultDatabase &rdb, ResultContainer &rc)