OKlibrary  0.2.1.6
ParsingSingleResult_Testobjects.hpp File Reference

Go to the source code of this file.

Namespaces

namespace  OKlib
 

All components of the OKlibrary.


namespace  OKlib::SATCompetition
 

Tools for evaluating SAT competition (under various circumstances)


namespace  OKlib::SATCompetition::Testobjects

Variables

Test_ParserResultElement_SuperSeries
< SuperSeries > 
OKlib::SATCompetition::Testobjects::test_SuperSeries
Test_ParserResultElement_RandomKSat
< RandomKSat > 
OKlib::SATCompetition::Testobjects::test_RandomKSat
Test_ParserResultElement_Series
< Series > 
OKlib::SATCompetition::Testobjects::test_Series
Test_ParserResultElement_RandomKSat_n
< RandomKSat_n > 
OKlib::SATCompetition::Testobjects::test_RandomKSat_n
Test_ParserResultElement_Benchmark
< Benchmark > 
OKlib::SATCompetition::Testobjects::test_Benchmark
Test_ParserResultElement_Solver
< Solver > 
OKlib::SATCompetition::Testobjects::test_Solver
Test_ParserResultElement_SATStatus
< SATStatus > 
OKlib::SATCompetition::Testobjects::test_SATStatus
Test_ParserResultElement_AverageTime
< AverageTime > 
OKlib::SATCompetition::Testobjects::test_AverageTime
Test_ParserResultElement_TimeOut
< TimeOut > 
OKlib::SATCompetition::Testobjects::test_TimeOut
Test_ParserResult_Result< Result > OKlib::SATCompetition::Testobjects::test_Result
Test_ParserResult_ResultRandomSat
< ResultRandomSat > 
OKlib::SATCompetition::Testobjects::test_ResultRandomSat