OKlibrary  0.2.1.6
ParsingSingleResult_Testobjects.hpp
Go to the documentation of this file.
00001 // Oliver Kullmann, 13.5.2005 (Swansea)
00002 /* Copyright 2005 - 2007 Oliver Kullmann
00003 This file is part of the OKlibrary. OKlibrary is free software; you can redistribute
00004 it and/or modify it under the terms of the GNU General Public License as published by
00005 the Free Software Foundation and included in this library; either version 3 of the
00006 License, or any later version. */
00007 
00008 #ifndef PARSINGSINGLERESULTTESTOBJECTSS_992ttgBa
00009 #define PARSINGSINGLERESULTTESTOBJECTSS_992ttgBa
00010 
00011 #include <OKlib/Experimentation/Competition/ParsingSingleResult.hpp>
00012 #include <OKlib/Experimentation/Competition/ParsingSingleResult_Tests.hpp>
00013 
00014 namespace OKlib {
00015   namespace SATCompetition {
00016     namespace Testobjects {
00017 
00018       Test_ParserResultElement_SuperSeries<SuperSeries> test_SuperSeries;
00019 
00020       Test_ParserResultElement_RandomKSat<RandomKSat> test_RandomKSat;
00021 
00022       Test_ParserResultElement_Series<Series> test_Series;
00023 
00024       Test_ParserResultElement_RandomKSat_n<RandomKSat_n> test_RandomKSat_n;
00025 
00026       Test_ParserResultElement_Benchmark<Benchmark> test_Benchmark;
00027 
00028       Test_ParserResultElement_Solver<Solver> test_Solver;
00029 
00030       Test_ParserResultElement_SATStatus<SATStatus> test_SATStatus;
00031 
00032       Test_ParserResultElement_AverageTime<AverageTime> test_AverageTime;
00033 
00034       Test_ParserResultElement_TimeOut<TimeOut> test_TimeOut;
00035 
00036       Test_ParserResult_Result<Result> test_Result;
00037 
00038       Test_ParserResult_ResultRandomSat<ResultRandomSat> test_ResultRandomSat;
00039 
00040     }
00041 
00042   }
00043 
00044 }
00045 
00046 #endif
00047 
00048