35#ifndef _BLAZE_MATH_CONSTRAINTS_VECVECDIVEXPR_H_
36#define _BLAZE_MATH_CONSTRAINTS_VECVECDIVEXPR_H_
64#define BLAZE_CONSTRAINT_MUST_BE_VECVECDIVEXPR_TYPE(T) \
65 static_assert( ::blaze::IsVecVecDivExpr_v<T>, "Non-vector/vector division expression type detected" )
84#define BLAZE_CONSTRAINT_MUST_NOT_BE_VECVECDIVEXPR_TYPE(T) \
85 static_assert( !::blaze::IsVecVecDivExpr_v<T>, "Vector/vector division expression type detected" )
104#define BLAZE_CONSTRAINT_MUST_FORM_VALID_VECVECDIVEXPR(T1,T2) \
105 static_assert( ( ( ::blaze::IsRowVector_v<T1> && ::blaze::IsRowVector_v<T2> ) || \
106 ( ::blaze::IsColumnVector_v<T1> && ::blaze::IsColumnVector_v<T2> ) ) && \
107 ( ( ::blaze::Size_v<T1,0UL> == -1L ) || \
108 ( ::blaze::Size_v<T2,0UL> == -1L ) || \
109 ( ::blaze::Size_v<T1,0UL> == ::blaze::Size_v<T2,0UL> ) ) \
110 , "Invalid vector/vector division expression detected" )
Header file for the IsColumnVector type trait.
Header file for the IsRowVector type trait.
Header file for the IsVecVecDivExpr type trait class.
Header file for the Size type trait.