OKlibrary  0.2.1.6
SingleResult_Testobjects.hpp
Go to the documentation of this file.
00001 // Oliver Kullmann, 11.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 SINGLERESULTTESTOBJECTS_BVcr678
00009 #define SINGLERESULTTESTOBJECTS_BVcr678
00010 
00011 #include <OKlib/Concepts/ResultElements_Tests.hpp>
00012 
00013 #include <OKlib/Experimentation/Competition/SingleResult.hpp>
00014 #include <OKlib/Experimentation/Competition/SingleResult_Tests.hpp>
00015 
00016 namespace OKlib {
00017   namespace SATCompetition {
00018 
00019     ::OKlib::Concepts::ResultElement_basic_test<SATCompetition::ResultElement> test_ResultElement;
00020     ::OKlib::Concepts::ResultElementWithName_basic_test<SATCompetition::ResultElement_with_name> test_ResultElement_with_name;
00021 
00022   }
00023 
00024 }
00025 
00026 #endif