Commits

Leonid Volnitsky committed ec35a01

-- rename: is_x2cl_convertible --> is_elem_of

Comments (0)

Files changed (2)

 /////////////////////////////////////////////////////////////////////////////////////////////////  STD SHORTCUTS
 template<bool Cnd, typename T=void>     using  eIF                     = typename std::enable_if <Cnd,T>::type;
 template<typename Ct1, typename Ct2>	using  have_same_elem          = std::is_convertible<cl_elem_type<Ct1>, cl_elem_type<Ct2>>;
-template<typename Ct, typename xT>	using  is_x2cl_convertible     = std::is_convertible<xT, cl_elem_type<Ct>>;
+//template<typename Ct, typename xT>	using  is_elem_of     = std::is_convertible<xT, cl_elem_type<Ct>>;
 
 template<typename Cl>	using  cl_elem_fwd  =  typename  copy_rcv<Cl&&, cl_elem_type<Cl>>::type;
 
 
 //  Stack << x
 	template<typename Ct, typename Xt>
-	eIF <is_stack<Ct>::value  &&  is_x2cl_convertible<Ct,Xt>::value,  Ct>
+	eIF <is_stack<Ct>::value  &&  is_elem_of<Xt,Ct>::value,  Ct>
 operator<<      (Ct&& C, Xt&& x)    { C.push(std::forward<Xt>(x));   return std::forward<Ct>(C); };
 
 //  Stack--
 //	[1, 2] 3
 
 	template<typename Ct, typename Xt>
-	eIF <is_stack<Ct>::value  &&  is_x2cl_convertible<Ct,Xt>::value, Ct>
+	eIF <is_stack<Ct>::value  &&  is_elem_of<Xt,Ct>::value, Ct>
 operator>>      (Ct&& C, Xt&& x)    { x = C.top();  C.pop();   return std::forward<Ct>(C); };