1 files changed, 117 insertions, 0 deletions
diff --git a/include/gudhi_patches/CGAL/typeset.h b/include/gudhi_patches/CGAL/typeset.h
new file mode 100644
index 00000000..d4e24281
--- /dev/null
+++ b/include/gudhi_patches/CGAL/typeset.h
@@ -0,0 +1,117 @@
+// 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