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< Result >	test_Result
Test_ParserResult_ResultRandomSat < ResultRandomSat >	test_ResultRandomSat
Test_ResultDatabase_ResultIterator < ResultDatabase >	test_ResultDatabase

---

Variable Documentation

Test_ParserResultElement_AverageTime<AverageTime> OKlib::SATCompetition::Testobjects::test_AverageTime

Definition at line 32 of file ParsingSingleResult_Testobjects.hpp.

Test_ParserResultElement_Benchmark<Benchmark> OKlib::SATCompetition::Testobjects::test_Benchmark

Definition at line 26 of file ParsingSingleResult_Testobjects.hpp.

Test_ParserResultElement_RandomKSat<RandomKSat> OKlib::SATCompetition::Testobjects::test_RandomKSat

Definition at line 20 of file ParsingSingleResult_Testobjects.hpp.

Test_ParserResultElement_RandomKSat_n<RandomKSat_n> OKlib::SATCompetition::Testobjects::test_RandomKSat_n

Definition at line 24 of file ParsingSingleResult_Testobjects.hpp.

Test_ParserResult_Result<Result> OKlib::SATCompetition::Testobjects::test_Result

Definition at line 36 of file ParsingSingleResult_Testobjects.hpp.

Test_ResultDatabase_ResultIterator<ResultDatabase> OKlib::SATCompetition::Testobjects::test_ResultDatabase

Definition at line 18 of file ResultProcessing_Testobjects.hpp.

Test_ParserResult_ResultRandomSat<ResultRandomSat> OKlib::SATCompetition::Testobjects::test_ResultRandomSat

Definition at line 38 of file ParsingSingleResult_Testobjects.hpp.

Test_ParserResultElement_SATStatus<SATStatus> OKlib::SATCompetition::Testobjects::test_SATStatus

Definition at line 30 of file ParsingSingleResult_Testobjects.hpp.

Test_ParserResultElement_Series<Series> OKlib::SATCompetition::Testobjects::test_Series

Definition at line 22 of file ParsingSingleResult_Testobjects.hpp.

Test_ParserResultElement_Solver<Solver> OKlib::SATCompetition::Testobjects::test_Solver

Definition at line 28 of file ParsingSingleResult_Testobjects.hpp.

Test_ParserResultElement_SuperSeries<SuperSeries> OKlib::SATCompetition::Testobjects::test_SuperSeries

Definition at line 18 of file ParsingSingleResult_Testobjects.hpp.

Test_ParserResultElement_TimeOut<TimeOut> OKlib::SATCompetition::Testobjects::test_TimeOut

Definition at line 34 of file ParsingSingleResult_Testobjects.hpp.