OKlibrary  0.2.1.6
OKlib::SATCompetition::Testobjects Namespace Reference

Variables

Test_ParserResultElement_SuperSeries
< SuperSeries > 
test_SuperSeries
Test_ParserResultElement_RandomKSat
< RandomKSat
test_RandomKSat
Test_ParserResultElement_Series
< Series
test_Series
Test_ParserResultElement_RandomKSat_n
< RandomKSat_n
test_RandomKSat_n
Test_ParserResultElement_Benchmark
< Benchmark
test_Benchmark
Test_ParserResultElement_Solver
< Solver
test_Solver
Test_ParserResultElement_SATStatus
< SATStatus
test_SATStatus
Test_ParserResultElement_AverageTime
< AverageTime
test_AverageTime
Test_ParserResultElement_TimeOut
< TimeOut > 
test_TimeOut
Test_ParserResult_Result< Resulttest_Result
Test_ParserResult_ResultRandomSat
< ResultRandomSat
test_ResultRandomSat
Test_ResultDatabase_ResultIterator
< ResultDatabase
test_ResultDatabase

Variable Documentation