OKlibrary  0.2.1.6
ParsingResultSequences_Tests.hpp File Reference

Go to the source code of this file.

Classes

class  OKlib::SATCompetition::Test_Copy_results_fill_from_file< Container >
class  OKlib::SATCompetition::Test_Copy_results_ParserResult_Result_positive_cases
class  OKlib::SATCompetition::Test_Copy_results_ParserResult_Result_negative_cases
class  OKlib::SATCompetition::Test_Copy_results_ParserResult_Result
class  OKlib::SATCompetition::Test_Copy_results_ParserResultRandomSat_ResultRandomSat_positive_cases
class  OKlib::SATCompetition::Test_Copy_results_ParserResultRandomSat_ResultRandomSat

Namespaces

namespace  OKlib
 

All components of the OKlibrary.


namespace  OKlib::SATCompetition
 

Tools for evaluating SAT competition (under various circumstances)


Functions

template<class Container >
Test_Copy_results_fill_from_file
< Container > 
OKlib::SATCompetition::test_Copy_results_fill_from_file (const boost::filesystem::path &filename, Container &C)

Variables

const std::string OKlib::SATCompetition::filename_large_industrial = "Data/export-industrial_2005_Round1.txt"
const unsigned int OKlib::SATCompetition::line_count_large_industrial = 17168
const std::string OKlib::SATCompetition::filename_large_random = "Data/export-random_2005_Round1_corrected.txt"
const unsigned int OKlib::SATCompetition::line_count_large_random = 11700