OKlibrary  0.2.1.6
LexicographicalEvaluation_Testobjects.hpp
Go to the documentation of this file.
00001 // Oliver Kullmann, 25.10.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 LEXICOGRAPHICALEVALUATIONTESTOBJECTS_757556
00009 #define LEXICOGRAPHICALEVALUATIONTESTOBJECTS_757556
00010 
00011 #include <OKlib/Experimentation/Competition/LexicographicalEvaluation.hpp>
00012 #include <OKlib/Experimentation/Competition/LexicographicalEvaluation_Tests.hpp>
00013 
00014 namespace OKlib {
00015   namespace SATCompetition {
00016 
00017     Test_RepresentationSolverSeries<LexicographicalEvaluation> test_representation_solver_series;
00018 
00019     Test_LexicographicalEvaluation<LexicographicalEvaluation> test_lexicographical_evaluation;
00020 
00021     Test_LexicographicalEvaluationRandom<LexicographicalEvaluationRandom> test_lexicographical_evaluation_random;
00022   }
00023 
00024 }
00025 
00026 #endif