From f999e44098bd2ac604044850fa7599d7635e7a5d Mon Sep 17 00:00:00 2001 From: liefooga Date: Thu, 27 Nov 2008 09:20:52 +0000 Subject: [PATCH] weak, strict and epsilon dominance added git-svn-id: svn://scm.gforge.inria.fr/svnroot/paradiseo@1265 331e1502-861f-0410-8da2-ba01fb791d7f --- .../moeoEpsilonObjectiveVectorComparator.h | 94 ++++++++++++ .../moeoStrictObjectiveVectorComparator.h | 85 +++++++++++ .../moeoWeakObjectiveVectorComparator.h | 84 +++++++++++ trunk/paradiseo-moeo/src/moeo | 5 +- trunk/paradiseo-moeo/test/CMakeLists.txt | 3 + ...t-moeoEpsilonObjectiveVectorComparator.cpp | 137 ++++++++++++++++++ .../t-moeoStrictObjectiveVectorComparator.cpp | 132 +++++++++++++++++ .../t-moeoWeakObjectiveVectorComparator.cpp | 135 +++++++++++++++++ 8 files changed, 673 insertions(+), 2 deletions(-) create mode 100644 trunk/paradiseo-moeo/src/comparator/moeoEpsilonObjectiveVectorComparator.h create mode 100644 trunk/paradiseo-moeo/src/comparator/moeoStrictObjectiveVectorComparator.h create mode 100644 trunk/paradiseo-moeo/src/comparator/moeoWeakObjectiveVectorComparator.h create mode 100644 trunk/paradiseo-moeo/test/t-moeoEpsilonObjectiveVectorComparator.cpp create mode 100644 trunk/paradiseo-moeo/test/t-moeoStrictObjectiveVectorComparator.cpp create mode 100644 trunk/paradiseo-moeo/test/t-moeoWeakObjectiveVectorComparator.cpp diff --git a/trunk/paradiseo-moeo/src/comparator/moeoEpsilonObjectiveVectorComparator.h b/trunk/paradiseo-moeo/src/comparator/moeoEpsilonObjectiveVectorComparator.h new file mode 100644 index 000000000..d68915751 --- /dev/null +++ b/trunk/paradiseo-moeo/src/comparator/moeoEpsilonObjectiveVectorComparator.h @@ -0,0 +1,94 @@ +/* +* +* Copyright (C) DOLPHIN Project-Team, INRIA Futurs, 2006-2008 +* (C) OPAC Team, LIFL, 2002-2008 +* +* Arnaud Liefooghe +* +* This software is governed by the CeCILL license under French law and +* abiding by the rules of distribution of free software. You can use, +* modify and/ or redistribute the software under the terms of the CeCILL +* license as circulated by CEA, CNRS and INRIA at the following URL +* "http://www.cecill.info". +* +* As a counterpart to the access to the source code and rights to copy, +* modify and redistribute granted by the license, users are provided only +* with a limited warranty and the software's author, the holder of the +* economic rights, and the successive licensors have only limited liability. +* +* In this respect, the user's attention is drawn to the risks associated +* with loading, using, modifying and/or developing or reproducing the +* software by the user in light of its specific status of free software, +* that may mean that it is complicated to manipulate, and that also +* therefore means that it is reserved for developers and experienced +* professionals having in-depth computer knowledge. Users are therefore +* encouraged to load and test the software's suitability as regards their +* requirements in conditions enabling the security of their systems and/or +* data to be ensured and, more generally, to use and operate it in the +* same conditions as regards security. +* The fact that you are presently reading this means that you have had +* knowledge of the CeCILL license and that you accept its terms. +* +* ParadisEO WebSite : http://paradiseo.gforge.inria.fr +* Contact: paradiseo-help@lists.gforge.inria.fr +* +*/ +//----------------------------------------------------------------------------- + +#ifndef MOEOEPSILONOBJECTIVEVECTORCOMPARATOR_H_ +#define MOEOEPSILONOBJECTIVEVECTORCOMPARATOR_H_ + +#include + +/** + * This functor class allows to compare 2 objective vectors according to epsilon dominance. + */ +template < class ObjectiveVector > +class moeoEpsilonObjectiveVectorComparator : public moeoObjectiveVectorComparator < ObjectiveVector > +{ +public: + + /** + * Ctor. + * @param _ref the reference point + */ + moeoEpsilonObjectiveVectorComparator(double _epsilon) : epsilon(_epsilon) + {} + + /** + * Returns true if _objectiveVector1 is epsilon-dominated by _objectiveVector2 + * @param _objectiveVector1 the first objective vector + * @param _objectiveVector2 the second objective vector + */ + const bool operator()(const ObjectiveVector & _objectiveVector1, const ObjectiveVector & _objectiveVector2) + { + for (unsigned int i=0; i ObjectiveVector::Traits::tolerance() ) + { + if (ObjectiveVector::minimizing(i)) + { + if ((_objectiveVector1[i] / epsilon) <= _objectiveVector2[i]) + { + return false; // _objectiveVector1[i] is not better than _objectiveVector2[i] + } + } + else if (ObjectiveVector::maximizing(i)) + { + if ((_objectiveVector1[i] / epsilon) >= _objectiveVector2[i]) + { + return false; // _objectiveVector1[i] is not better than _objectiveVector2[i] + } + } + } + } + return true; + } + +private: + /** the reference point */ + double epsilon; +}; + +#endif /*MOEOEPSILONOBJECTIVEVECTORCOMPARATOR_H_*/ diff --git a/trunk/paradiseo-moeo/src/comparator/moeoStrictObjectiveVectorComparator.h b/trunk/paradiseo-moeo/src/comparator/moeoStrictObjectiveVectorComparator.h new file mode 100644 index 000000000..9a017690d --- /dev/null +++ b/trunk/paradiseo-moeo/src/comparator/moeoStrictObjectiveVectorComparator.h @@ -0,0 +1,85 @@ +/* +* +* Copyright (C) DOLPHIN Project-Team, INRIA Futurs, 2006-2008 +* (C) OPAC Team, LIFL, 2002-2008 +* +* Arnaud Liefooghe +* +* This software is governed by the CeCILL license under French law and +* abiding by the rules of distribution of free software. You can use, +* modify and/ or redistribute the software under the terms of the CeCILL +* license as circulated by CEA, CNRS and INRIA at the following URL +* "http://www.cecill.info". +* +* As a counterpart to the access to the source code and rights to copy, +* modify and redistribute granted by the license, users are provided only +* with a limited warranty and the software's author, the holder of the +* economic rights, and the successive licensors have only limited liability. +* +* In this respect, the user's attention is drawn to the risks associated +* with loading, using, modifying and/or developing or reproducing the +* software by the user in light of its specific status of free software, +* that may mean that it is complicated to manipulate, and that also +* therefore means that it is reserved for developers and experienced +* professionals having in-depth computer knowledge. Users are therefore +* encouraged to load and test the software's suitability as regards their +* requirements in conditions enabling the security of their systems and/or +* data to be ensured and, more generally, to use and operate it in the +* same conditions as regards security. +* The fact that you are presently reading this means that you have had +* knowledge of the CeCILL license and that you accept its terms. +* +* ParadisEO WebSite : http://paradiseo.gforge.inria.fr +* Contact: paradiseo-help@lists.gforge.inria.fr +* +*/ +//----------------------------------------------------------------------------- + +#ifndef MOEOSTRICTOBJECTIVEVECTORCOMPARATOR_H_ +#define MOEOSTRICTOBJECTIVEVECTORCOMPARATOR_H_ + +#include + +/** + * This functor class allows to compare 2 objective vectors according to strict dominance. + */ +template < class ObjectiveVector > +class moeoStrictObjectiveVectorComparator : public moeoObjectiveVectorComparator < ObjectiveVector > +{ +public: + + /** + * Returns true if _objectiveVector1 is strictly dominated by _objectiveVector2 + * @param _objectiveVector1 the first objective vector + * @param _objectiveVector2 the second objective vector + */ + const bool operator()(const ObjectiveVector & _objectiveVector1, const ObjectiveVector & _objectiveVector2) + { + for (unsigned int i=0; i _objectiveVector2[i]) + { + return false; // _objectiveVector1[i] is not better than _objectiveVector2[i] + } + } + } + return true; + } + +}; + +#endif /*MOEOSTRICTOBJECTIVEVECTORCOMPARATOR_H_*/ diff --git a/trunk/paradiseo-moeo/src/comparator/moeoWeakObjectiveVectorComparator.h b/trunk/paradiseo-moeo/src/comparator/moeoWeakObjectiveVectorComparator.h new file mode 100644 index 000000000..d3f13f4a6 --- /dev/null +++ b/trunk/paradiseo-moeo/src/comparator/moeoWeakObjectiveVectorComparator.h @@ -0,0 +1,84 @@ +/* +* +* Copyright (C) DOLPHIN Project-Team, INRIA Futurs, 2006-2008 +* (C) OPAC Team, LIFL, 2002-2008 +* +* Arnaud Liefooghe +* +* This software is governed by the CeCILL license under French law and +* abiding by the rules of distribution of free software. You can use, +* modify and/ or redistribute the software under the terms of the CeCILL +* license as circulated by CEA, CNRS and INRIA at the following URL +* "http://www.cecill.info". +* +* As a counterpart to the access to the source code and rights to copy, +* modify and redistribute granted by the license, users are provided only +* with a limited warranty and the software's author, the holder of the +* economic rights, and the successive licensors have only limited liability. +* +* In this respect, the user's attention is drawn to the risks associated +* with loading, using, modifying and/or developing or reproducing the +* software by the user in light of its specific status of free software, +* that may mean that it is complicated to manipulate, and that also +* therefore means that it is reserved for developers and experienced +* professionals having in-depth computer knowledge. Users are therefore +* encouraged to load and test the software's suitability as regards their +* requirements in conditions enabling the security of their systems and/or +* data to be ensured and, more generally, to use and operate it in the +* same conditions as regards security. +* The fact that you are presently reading this means that you have had +* knowledge of the CeCILL license and that you accept its terms. +* +* ParadisEO WebSite : http://paradiseo.gforge.inria.fr +* Contact: paradiseo-help@lists.gforge.inria.fr +* +*/ +//----------------------------------------------------------------------------- + +#ifndef MOEOWEAKOBJECTIVEVECTORCOMPARATOR_H_ +#define MOEOWEAKOBJECTIVEVECTORCOMPARATOR_H_ + +#include + +/** + * This functor class allows to compare 2 objective vectors according to weak dominance. + */ +template < class ObjectiveVector > +class moeoWeakObjectiveVectorComparator : public moeoObjectiveVectorComparator < ObjectiveVector > +{ +public: + + /** + * Returns true if _objectiveVector1 is weakly dominated by _objectiveVector2 + * @param _objectiveVector1 the first objective vector + * @param _objectiveVector2 the second objective vector + */ + const bool operator()(const ObjectiveVector & _objectiveVector1, const ObjectiveVector & _objectiveVector2) + { + for (unsigned int i=0; i ObjectiveVector::Traits::tolerance() ) + { + if (ObjectiveVector::minimizing(i)) + { + if (_objectiveVector1[i] < _objectiveVector2[i]) + { + return false; // _objectiveVector1[i] is not better than _objectiveVector2[i] + } + } + else if (ObjectiveVector::maximizing(i)) + { + if (_objectiveVector1[i] > _objectiveVector2[i]) + { + return false; // _objectiveVector1[i] is not better than _objectiveVector2[i] + } + } + } + } + return true; + } + +}; + +#endif /*MOEOWEAKOBJECTIVEVECTORCOMPARATOR_H_*/ diff --git a/trunk/paradiseo-moeo/src/moeo b/trunk/paradiseo-moeo/src/moeo index c3f365e15..0a89b79ea 100644 --- a/trunk/paradiseo-moeo/src/moeo +++ b/trunk/paradiseo-moeo/src/moeo @@ -58,16 +58,18 @@ #include #include - #include #include #include +#include #include #include #include #include #include #include +#include +#include #include #include @@ -120,7 +122,6 @@ #include #include - #include #include #include diff --git a/trunk/paradiseo-moeo/test/CMakeLists.txt b/trunk/paradiseo-moeo/test/CMakeLists.txt index 4134e2b3e..e86477118 100644 --- a/trunk/paradiseo-moeo/test/CMakeLists.txt +++ b/trunk/paradiseo-moeo/test/CMakeLists.txt @@ -36,6 +36,9 @@ SET (TEST_LIST t-moeoRealVector t-moeoUnboundedArchive t-moeoParetoObjectiveVectorComparator + t-moeoStrictObjectiveVectorComparator + t-moeoWeakObjectiveVectorComparator + t-moeoEpsilonObjectiveVectorComparator t-moeoAggregativeComparator t-moeoDiversityThenFitnessComparator t-moeoFitnessThenDiversityComparator diff --git a/trunk/paradiseo-moeo/test/t-moeoEpsilonObjectiveVectorComparator.cpp b/trunk/paradiseo-moeo/test/t-moeoEpsilonObjectiveVectorComparator.cpp new file mode 100644 index 000000000..d7415a451 --- /dev/null +++ b/trunk/paradiseo-moeo/test/t-moeoEpsilonObjectiveVectorComparator.cpp @@ -0,0 +1,137 @@ +/* +* +* Copyright (C) DOLPHIN Project-Team, INRIA Futurs, 2006-2008 +* (C) OPAC Team, LIFL, 2002-2008 +* +* Arnaud Liefooghe +* +* This software is governed by the CeCILL license under French law and +* abiding by the rules of distribution of free software. You can use, +* modify and/ or redistribute the software under the terms of the CeCILL +* license as circulated by CEA, CNRS and INRIA at the following URL +* "http://www.cecill.info". +* +* As a counterpart to the access to the source code and rights to copy, +* modify and redistribute granted by the license, users are provided only +* with a limited warranty and the software's author, the holder of the +* economic rights, and the successive licensors have only limited liability. +* +* In this respect, the user's attention is drawn to the risks associated +* with loading, using, modifying and/or developing or reproducing the +* software by the user in light of its specific status of free software, +* that may mean that it is complicated to manipulate, and that also +* therefore means that it is reserved for developers and experienced +* professionals having in-depth computer knowledge. Users are therefore +* encouraged to load and test the software's suitability as regards their +* requirements in conditions enabling the security of their systems and/or +* data to be ensured and, more generally, to use and operate it in the +* same conditions as regards security. +* The fact that you are presently reading this means that you have had +* knowledge of the CeCILL license and that you accept its terms. +* +* ParadisEO WebSite : http://paradiseo.gforge.inria.fr +* Contact: paradiseo-help@lists.gforge.inria.fr +* +*/ +//----------------------------------------------------------------------------- +// t-moeoEpsilonObjectiveVectorComparator.cpp +//----------------------------------------------------------------------------- + +#include +#include + +//----------------------------------------------------------------------------- + +class ObjectiveVectorTraits : public moeoObjectiveVectorTraits +{ +public: + static bool minimizing (int i) + { + return true; + } + static bool maximizing (int i) + { + return false; + } + static unsigned int nObjectives () + { + return 2; + } +}; + +typedef moeoRealObjectiveVector < ObjectiveVectorTraits > ObjectiveVector; + +typedef MOEO < ObjectiveVector > Solution; + +//----------------------------------------------------------------------------- + +int main() +{ + std::cout << "[moeoEpsilonObjectiveVectorComparator]\t=>\t"; + + // objective vectors + ObjectiveVector obj1; + obj1[0] = 2.0; + obj1[1] = 5.0; + ObjectiveVector obj2; + obj2[0] = 2.2; + obj2[1] = 5.5; + ObjectiveVector obj3; + obj3[0] = 3.0; + obj3[1] = 5.0; + ObjectiveVector obj4; + obj4[0] = 3.0; + obj4[1] = 6.0; + + // epsilon + double epsilon = 1.1; + // comparator + moeoEpsilonObjectiveVectorComparator< ObjectiveVector > comparator(epsilon); + + // obj1 dominated by obj2? NO + if (comparator(obj1, obj2)) + { + std::cout << "ERROR (obj1 dominated by obj2)" << std::endl; + return EXIT_FAILURE; + } + + // obj2 dominated by obj1? YES + if (! comparator(obj2, obj1)) + { + std::cout << "ERROR (obj2 notdominated by obj1)" << std::endl; + return EXIT_FAILURE; + } + + // obj1 dominated by obj3? NO + if (comparator(obj1, obj3)) + { + std::cout << "ERROR (obj1 dominated by obj3)" << std::endl; + return EXIT_FAILURE; + } + + // obj3 dominated by obj1? NO + if (comparator(obj3, obj1)) + { + std::cout << "ERROR (obj3 dominated by obj1)" << std::endl; + return EXIT_FAILURE; + } + + // obj1 dominated by obj4? NO + if (comparator(obj1, obj4)) + { + std::cout << "ERROR (obj1 dominated by obj4)" << std::endl; + return EXIT_FAILURE; + } + + // obj4 dominated by obj1? YES + if (! comparator(obj4, obj1)) + { + std::cout << "ERROR (obj4 not dominated by obj1)" << std::endl; + return EXIT_FAILURE; + } + + std::cout << "OK" << std::endl; + return EXIT_SUCCESS; +} + +//----------------------------------------------------------------------------- diff --git a/trunk/paradiseo-moeo/test/t-moeoStrictObjectiveVectorComparator.cpp b/trunk/paradiseo-moeo/test/t-moeoStrictObjectiveVectorComparator.cpp new file mode 100644 index 000000000..b36302f80 --- /dev/null +++ b/trunk/paradiseo-moeo/test/t-moeoStrictObjectiveVectorComparator.cpp @@ -0,0 +1,132 @@ +/* +* +* Copyright (C) DOLPHIN Project-Team, INRIA Futurs, 2006-2008 +* (C) OPAC Team, LIFL, 2002-2008 +* +* Arnaud Liefooghe +* +* This software is governed by the CeCILL license under French law and +* abiding by the rules of distribution of free software. You can use, +* modify and/ or redistribute the software under the terms of the CeCILL +* license as circulated by CEA, CNRS and INRIA at the following URL +* "http://www.cecill.info". +* +* As a counterpart to the access to the source code and rights to copy, +* modify and redistribute granted by the license, users are provided only +* with a limited warranty and the software's author, the holder of the +* economic rights, and the successive licensors have only limited liability. +* +* In this respect, the user's attention is drawn to the risks associated +* with loading, using, modifying and/or developing or reproducing the +* software by the user in light of its specific status of free software, +* that may mean that it is complicated to manipulate, and that also +* therefore means that it is reserved for developers and experienced +* professionals having in-depth computer knowledge. Users are therefore +* encouraged to load and test the software's suitability as regards their +* requirements in conditions enabling the security of their systems and/or +* data to be ensured and, more generally, to use and operate it in the +* same conditions as regards security. +* The fact that you are presently reading this means that you have had +* knowledge of the CeCILL license and that you accept its terms. +* +* ParadisEO WebSite : http://paradiseo.gforge.inria.fr +* Contact: paradiseo-help@lists.gforge.inria.fr +* +*/ +//----------------------------------------------------------------------------- +// t-moeoStrictObjectiveVectorComparator.cpp +//----------------------------------------------------------------------------- + +#include +#include + +//----------------------------------------------------------------------------- + +class ObjectiveVectorTraits : public moeoObjectiveVectorTraits +{ +public: + static bool minimizing (int i) + { + return true; + } + static bool maximizing (int i) + { + return false; + } + static unsigned int nObjectives () + { + return 2; + } +}; + +typedef moeoRealObjectiveVector < ObjectiveVectorTraits > ObjectiveVector; + +typedef MOEO < ObjectiveVector > Solution; + +//----------------------------------------------------------------------------- + +int main() +{ + std::cout << "[moeoStrictObjectiveVectorComparator]\t=>\t"; + + // objective vectors + ObjectiveVector obj1; + obj1[0] = 2.0; + obj1[1] = 5.0; + ObjectiveVector obj2; + obj2[0] = 3.0; + obj2[1] = 5.0; + ObjectiveVector obj3; + obj3[0] = 3.0; + obj3[1] = 7.0; + + // comparator + moeoStrictObjectiveVectorComparator< ObjectiveVector > comparator; + + // obj1 dominated by obj2? NO + if (comparator(obj1, obj2)) + { + std::cout << "ERROR (obj1 dominated by obj2)" << std::endl; + return EXIT_FAILURE; + } + + // obj2 dominated by obj1? NO + if (comparator(obj2, obj1)) + { + std::cout << "ERROR (obj2 dominated by obj1)" << std::endl; + return EXIT_FAILURE; + } + + // obj1 dominated by obj3? NO + if (comparator(obj1, obj3)) + { + std::cout << "ERROR (obj1 dominated by obj3)" << std::endl; + return EXIT_FAILURE; + } + + // obj3 dominated by obj1? YES + if (! comparator(obj3, obj1)) + { + std::cout << "ERROR (obj3 not dominated by obj1)" << std::endl; + return EXIT_FAILURE; + } + + // obj2 dominated by obj3? NO + if (comparator(obj2, obj3)) + { + std::cout << "ERROR (obj2 dominated by obj3)" << std::endl; + return EXIT_FAILURE; + } + + // obj3 dominated by obj2? NO + if (comparator(obj3, obj2)) + { + std::cout << "ERROR (obj3 dominated by obj2)" << std::endl; + return EXIT_FAILURE; + } + + std::cout << "OK" << std::endl; + return EXIT_SUCCESS; +} + +//----------------------------------------------------------------------------- diff --git a/trunk/paradiseo-moeo/test/t-moeoWeakObjectiveVectorComparator.cpp b/trunk/paradiseo-moeo/test/t-moeoWeakObjectiveVectorComparator.cpp new file mode 100644 index 000000000..9ff0f89ab --- /dev/null +++ b/trunk/paradiseo-moeo/test/t-moeoWeakObjectiveVectorComparator.cpp @@ -0,0 +1,135 @@ +/* +* +* Copyright (C) DOLPHIN Project-Team, INRIA Futurs, 2006-2008 +* (C) OPAC Team, LIFL, 2002-2008 +* +* Arnaud Liefooghe +* +* This software is governed by the CeCILL license under French law and +* abiding by the rules of distribution of free software. You can use, +* modify and/ or redistribute the software under the terms of the CeCILL +* license as circulated by CEA, CNRS and INRIA at the following URL +* "http://www.cecill.info". +* +* As a counterpart to the access to the source code and rights to copy, +* modify and redistribute granted by the license, users are provided only +* with a limited warranty and the software's author, the holder of the +* economic rights, and the successive licensors have only limited liability. +* +* In this respect, the user's attention is drawn to the risks associated +* with loading, using, modifying and/or developing or reproducing the +* software by the user in light of its specific status of free software, +* that may mean that it is complicated to manipulate, and that also +* therefore means that it is reserved for developers and experienced +* professionals having in-depth computer knowledge. Users are therefore +* encouraged to load and test the software's suitability as regards their +* requirements in conditions enabling the security of their systems and/or +* data to be ensured and, more generally, to use and operate it in the +* same conditions as regards security. +* The fact that you are presently reading this means that you have had +* knowledge of the CeCILL license and that you accept its terms. +* +* ParadisEO WebSite : http://paradiseo.gforge.inria.fr +* Contact: paradiseo-help@lists.gforge.inria.fr +* +*/ +//----------------------------------------------------------------------------- +// t-moeoWeakObjectiveVectorComparator.cpp +//----------------------------------------------------------------------------- + +#include +#include + +//----------------------------------------------------------------------------- + +class ObjectiveVectorTraits : public moeoObjectiveVectorTraits +{ +public: + static bool minimizing (int i) + { + return true; + } + static bool maximizing (int i) + { + return false; + } + static unsigned int nObjectives () + { + return 2; + } +}; + +typedef moeoRealObjectiveVector < ObjectiveVectorTraits > ObjectiveVector; + +typedef MOEO < ObjectiveVector > Solution; + +//----------------------------------------------------------------------------- + +int main() +{ + std::cout << "[moeoWeakObjectiveVectorComparator]\t=>\t"; + + // objective vectors + ObjectiveVector obj1; + obj1[0] = 2.0; + obj1[1] = 5.0; + ObjectiveVector obj2; + obj2[0] = 2.0; + obj2[1] = 5.0; + ObjectiveVector obj3; + obj3[0] = 3.0; + obj3[1] = 5.0; + ObjectiveVector obj4; + obj4[0] = 3.0; + obj4[1] = 6.0; + + // comparator + moeoWeakObjectiveVectorComparator< ObjectiveVector > comparator; + + // obj1 dominated by obj2? YES + if (! comparator(obj1, obj2)) + { + std::cout << "ERROR (obj1 not dominated by obj2)" << std::endl; + return EXIT_FAILURE; + } + + // obj2 dominated by obj1? YES + if (! comparator(obj2, obj1)) + { + std::cout << "ERROR (obj2 not dominated by obj1)" << std::endl; + return EXIT_FAILURE; + } + + // obj1 dominated by obj3? NO + if (comparator(obj1, obj3)) + { + std::cout << "ERROR (obj1 dominated by obj3)" << std::endl; + return EXIT_FAILURE; + } + + // obj3 dominated by obj1? YES + if (! comparator(obj3, obj1)) + { + std::cout << "ERROR (obj3 not dominated by obj1)" << std::endl; + return EXIT_FAILURE; + } + + // obj3 dominated by obj4? NO + if (comparator(obj3, obj4)) + { + std::cout << "ERROR (obj3 dominated by obj4)" << std::endl; + return EXIT_FAILURE; + } + + // obj4 dominated by obj3? YES + if (! comparator(obj4, obj3)) + { + std::cout << "ERROR (obj4 not dominated by obj3)" << std::endl; + return EXIT_FAILURE; + } + + std::cout << "OK" << std::endl; + return EXIT_SUCCESS; +} + +//-----------------------------------------------------------------------------