New version of is_tuple to pass broken tests

Author: sdavtaker

include/cadmium/concept/concept_helpers.hpp

@@ -47,11 +47,16 @@ namespace cadmium {
         };
 
         namespace { //details
-            template<typename... Ts>
-            constexpr bool is_tuple(std::tuple<Ts...>) {
-                return true;
+            template<typename, template<typename...> class>
+            struct is_specialization : std::false_type {};
+            template<template<typename...> class TEMP, typename... ARGS>
+            struct is_specialization<TEMP<ARGS...>, TEMP>: std::true_type {};
+            
+            template<typename T>
+            constexpr bool is_tuple(){
+                return is_specialization<T, std::tuple>::value;
             }
-
+            
             template<typename T, int S>
             struct check_unique_elem_types_impl {
                 static constexpr bool value() {

include/cadmium/concept/coupled_model_assert.hpp

@@ -72,7 +72,7 @@ namespace cadmium{
         template<typename IN, typename EICs>
         constexpr void assert_eic(IN p_in, EICs eics) {
             assert_each_eic<IN, EICs, std::tuple_size<EICs>::value>::value();//check couple individually
-            static_assert(is_tuple(eics), "EIC is not a tuple");
+            static_assert(is_tuple<EICs>(), "EIC is not a tuple");
         }
 
         //static assert over the EOC descriptions
@@ -108,7 +108,7 @@ namespace cadmium{
         template<typename OUT, typename EOCs>
         constexpr void assert_eoc(OUT p_out, EOCs eocs) {
             assert_each_eoc<OUT, EOCs, std::tuple_size<EOCs>::value>::value();//check couple individually
-            static_assert(is_tuple(eocs), "EOC is not a tuple");
+            static_assert(is_tuple<EOCs>(), "EOC is not a tuple");
         }
 
         //static assert over the IC descriptions
@@ -149,7 +149,7 @@ namespace cadmium{
         template<typename ICs>
         constexpr void assert_ic(ICs ics) {
             assert_each_ic<ICs, std::tuple_size<ICs>::value>::value();//check couple individually
-            static_assert(is_tuple(ics), "ICs is not a tuple");
+            static_assert(is_tuple<ICs>(), "ICs is not a tuple");
         }