OKlibrary  0.2.1.6
ParsingResultSequences_Testobjects.hpp
Go to the documentation of this file.
00001 // Oliver Kullmann, 3.6.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 PARSINGRESULTSEQUENCESTESTOBJECTS_8482hlal
00009 #define PARSINGRESULTSEQUENCESTESTOBJECTS_8482hlal
00010 
00011 #include <OKlib/Experimentation/Competition/ParsingResultSequences.hpp>
00012 #include <OKlib/Experimentation/Competition/ParsingResultSequences_Tests.hpp>
00013 
00014 namespace OKlib {
00015   namespace SATCompetition {
00016 
00017     Test_Copy_results_ParserResult_Result test_CopyResults;
00018     
00019     Test_Copy_results_ParserResultRandomSat_ResultRandomSat test_CopyResultsRandomSat;
00020     
00021   }
00022 
00023 }
00024 
00025 #endif