summaryrefslogtreecommitdiff
path: root/include/gudhi_patches/CGAL/typeset.h
diff options
context:
space:
mode:
Diffstat (limited to 'include/gudhi_patches/CGAL/typeset.h')
-rw-r--r--include/gudhi_patches/CGAL/typeset.h117
1 files changed, 0 insertions, 117 deletions
diff --git a/include/gudhi_patches/CGAL/typeset.h b/include/gudhi_patches/CGAL/typeset.h
deleted file mode 100644
index d4e24281..00000000
--- a/include/gudhi_patches/CGAL/typeset.h
+++ /dev/null
@@ -1,117 +0,0 @@
-// Copyright (c) 2014
-// INRIA Saclay-Ile de France (France)
-//
-// This file is part of CGAL (www.cgal.org); you can redistribute it and/or
-// modify it under the terms of the GNU Lesser General Public License as
-// published by the Free Software Foundation; either version 3 of the License,
-// or (at your option) any later version.
-//
-// Licensees holding a valid commercial license may use this file in
-// accordance with the commercial license agreement provided with the software.
-//
-// This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
-// WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE.
-//
-// $URL$
-// $Id$
-//
-// Author(s) : Marc Glisse
-
-#ifndef CGAL_TYPESET_H
-#define CGAL_TYPESET_H
-#include <CGAL/config.h>
-#ifdef CGAL_CXX11
-#include <type_traits>
-#else
-#include <boost/type_traits.hpp>
-#endif
-
-// Sometimes using tuple just to list types is overkill (takes forever to
-// instantiate).
-
-namespace CGAL {
-#ifdef CGAL_CXX11
- template<class...> struct typeset;
- template<class H,class...U> struct typeset<H,U...> {
- typedef H head;
- typedef typeset<U...> tail;
- typedef typeset type;
- template<class X> using contains = typename
- std::conditional<
- std::is_same<H,X>::value,
- std::true_type,
- typename tail::template contains<X>
- >::type;
- template<class X> using add = typename
- std::conditional<
- contains<X>::value,
- typeset<H,U...>,
- typeset<H,U...,X>
- >::type;
- };
- template<> struct typeset<> {
- typedef typeset type;
- template<class X> using contains = std::false_type;
- template<class X> using add = typeset<X>;
- };
-#else
- template<class,class> struct typeset;
- template<class H=void, class T=typename
- boost::mpl::if_<boost::is_same<H,void>, void, typeset<void, void> >::type >
- struct typeset {
- typedef typeset type;
- typedef H head;
- typedef T tail;
- template<class X> struct contains :
- boost::mpl::if_<boost::is_same<H,X>,boost::true_type,typename tail::template contains<X> >::type
- {};
- template<class X,class=void> struct add;
- //boost::mpl::if_<boost::is_same<H,X>,typeset,typeset<X,typeset> >::type
- };
- template<> struct typeset<> {
- typedef typeset type;
- template<class X> struct contains : boost::false_type {};
- template<class X> struct add : CGAL::typeset<X> {};
- };
-
- template<class H,class T>
- template<class X,class>
- struct typeset<H,T>::add : typeset<H,typename T::template add<X>::type> {};
- template<class H,class T>
- template<class V>
- struct typeset<H,T>::add<H,V> : typeset<H,T> {};
-#endif
-
- template<class T1, class T2> struct typeset_union_ :
- typeset_union_<typename T1::template add<typename T2::head>::type, typename T2::tail>
- {};
- template<class T> struct typeset_union_ <T, typeset<> > : T {};
-
- template<class T1, class T2>
- struct typeset_intersection_ {
- typedef typename T1::head H;
- typedef typename typeset_intersection_<typename T1::tail,T2>::type U;
- typedef typename
-#ifdef CGAL_CXX11
- std::conditional<T2::template contains<H>::value,
-#else
- boost::mpl::if_<typename T2::template contains<H>,
-#endif
- typename U::template add<H>::type, U>::type type;
- };
- template<class T>
- struct typeset_intersection_<typeset<>,T> : typeset<> {};
-
-#ifdef CGAL_CXX11
- template<class T1, class T2>
- using typeset_union = typename typeset_union_<T1,T2>::type;
- template<class T1, class T2>
- using typeset_intersection = typename typeset_intersection_<T1,T2>::type;
-#else
- template<class T1, class T2>
- struct typeset_union : typeset_union_<T1,T2>::type {};
- template<class T1, class T2>
- struct typeset_intersection : typeset_intersection_<T1,T2>::type {};
-#endif
-}
-#endif