Sacado Package Browser (Single Doxygen Collection)  Version of the Day
Macros
Sacado_SFINAE_Macros.hpp File Reference
#include "Sacado_mpl_enable_if.hpp"
#include "Sacado_mpl_disable_if.hpp"
#include "Sacado_mpl_is_same.hpp"
#include "Sacado_mpl_is_convertible.hpp"
#include "Sacado_mpl_type_wrap.hpp"
Include dependency graph for Sacado_SFINAE_Macros.hpp:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros

#define SACADO_ENABLE_IF_SAME(TYPE1, TYPE2, RETURN_TYPE)   typename mpl::enable_if_c<mpl::is_convertible< TYPE1 , TYPE2 >::value && ExprLevel<TYPE1>::value == ExprLevel<TYPE2>::value, RETURN_TYPE >::type
 
#define SACADO_ENABLE_EXPR_FUNC(RETURN_TYPE)   SACADO_ENABLE_IF_SAME(typename Expr<S>::value_type, value_type, RETURN_TYPE)
 
#define SACADO_ENABLE_EXPR_CTOR_DEF   SACADO_ENABLE_EXPR_FUNC(void*)
 
#define SACADO_ENABLE_EXPR_CTOR_DECL   SACADO_ENABLE_EXPR_CTOR_DEF = 0
 
#define SACADO_FAD_ENABLE_EXPR_FUNC   SACADO_ENABLE_IF_SAME(typename Expr<S>::value_type, typename FAD::value_type, FAD&)
 
#define SACADO_ENABLE_IF_CONVERTIBLE(TYPE1, TYPE2, RETURN_TYPE)   typename Sacado::mpl::enable_if<Sacado::mpl::is_convertible< TYPE1 , TYPE2 >, RETURN_TYPE >::type
 
#define SACADO_ENABLE_VALUE_FUNC(RETURN_TYPE)   SACADO_ENABLE_IF_CONVERTIBLE(S, value_type, RETURN_TYPE)
 
#define SACADO_ENABLE_VALUE_CTOR_DEF   SACADO_ENABLE_VALUE_FUNC(void*)
 
#define SACADO_ENABLE_VALUE_CTOR_DECL   SACADO_ENABLE_VALUE_CTOR_DEF = 0
 
#define SACADO_FAD_OP_ENABLE_EXPR_EXPR(OP)
 
#define SACADO_FAD_OP_ENABLE_SCALAR_EXPR(OP)   typename mpl::disable_if<mpl::is_same< typename Expr<T>::value_type, typename Expr<T>::scalar_type>, Expr< OP< ConstExpr<typename Expr<T>::scalar_type>, Expr<T> > > >::type
 
#define SACADO_FAD_OP_ENABLE_EXPR_SCALAR(OP)   typename mpl::disable_if<mpl::is_same< typename Expr<T>::value_type, typename Expr<T>::scalar_type>, Expr< OP< Expr<T>, ConstExpr<typename Expr<T>::scalar_type> > > >::type
 

Macro Definition Documentation

◆ SACADO_ENABLE_IF_SAME

#define SACADO_ENABLE_IF_SAME (   TYPE1,
  TYPE2,
  RETURN_TYPE 
)    typename mpl::enable_if_c<mpl::is_convertible< TYPE1 , TYPE2 >::value && ExprLevel<TYPE1>::value == ExprLevel<TYPE2>::value, RETURN_TYPE >::type

Definition at line 40 of file Sacado_SFINAE_Macros.hpp.

◆ SACADO_ENABLE_EXPR_FUNC

#define SACADO_ENABLE_EXPR_FUNC (   RETURN_TYPE)    SACADO_ENABLE_IF_SAME(typename Expr<S>::value_type, value_type, RETURN_TYPE)

Definition at line 42 of file Sacado_SFINAE_Macros.hpp.

◆ SACADO_ENABLE_EXPR_CTOR_DEF

#define SACADO_ENABLE_EXPR_CTOR_DEF   SACADO_ENABLE_EXPR_FUNC(void*)

Definition at line 44 of file Sacado_SFINAE_Macros.hpp.

◆ SACADO_ENABLE_EXPR_CTOR_DECL

#define SACADO_ENABLE_EXPR_CTOR_DECL   SACADO_ENABLE_EXPR_CTOR_DEF = 0

Definition at line 45 of file Sacado_SFINAE_Macros.hpp.

◆ SACADO_FAD_ENABLE_EXPR_FUNC

#define SACADO_FAD_ENABLE_EXPR_FUNC   SACADO_ENABLE_IF_SAME(typename Expr<S>::value_type, typename FAD::value_type, FAD&)

Definition at line 46 of file Sacado_SFINAE_Macros.hpp.

◆ SACADO_ENABLE_IF_CONVERTIBLE

#define SACADO_ENABLE_IF_CONVERTIBLE (   TYPE1,
  TYPE2,
  RETURN_TYPE 
)    typename Sacado::mpl::enable_if<Sacado::mpl::is_convertible< TYPE1 , TYPE2 >, RETURN_TYPE >::type

Definition at line 49 of file Sacado_SFINAE_Macros.hpp.

◆ SACADO_ENABLE_VALUE_FUNC

#define SACADO_ENABLE_VALUE_FUNC (   RETURN_TYPE)    SACADO_ENABLE_IF_CONVERTIBLE(S, value_type, RETURN_TYPE)

Definition at line 51 of file Sacado_SFINAE_Macros.hpp.

◆ SACADO_ENABLE_VALUE_CTOR_DEF

#define SACADO_ENABLE_VALUE_CTOR_DEF   SACADO_ENABLE_VALUE_FUNC(void*)

Definition at line 53 of file Sacado_SFINAE_Macros.hpp.

◆ SACADO_ENABLE_VALUE_CTOR_DECL

#define SACADO_ENABLE_VALUE_CTOR_DECL   SACADO_ENABLE_VALUE_CTOR_DEF = 0

Definition at line 54 of file Sacado_SFINAE_Macros.hpp.

◆ SACADO_FAD_OP_ENABLE_EXPR_EXPR

#define SACADO_FAD_OP_ENABLE_EXPR_EXPR (   OP)
Value:
typename mpl::enable_if_c< IsFadExpr<T1>::value && IsFadExpr<T2>::value && \
ExprLevel<T1>::value == ExprLevel<T2>::value, \
Expr< OP< T1, T2 > > \
>::type

Definition at line 56 of file Sacado_SFINAE_Macros.hpp.

◆ SACADO_FAD_OP_ENABLE_SCALAR_EXPR

#define SACADO_FAD_OP_ENABLE_SCALAR_EXPR (   OP)    typename mpl::disable_if<mpl::is_same< typename Expr<T>::value_type, typename Expr<T>::scalar_type>, Expr< OP< ConstExpr<typename Expr<T>::scalar_type>, Expr<T> > > >::type

Definition at line 61 of file Sacado_SFINAE_Macros.hpp.

◆ SACADO_FAD_OP_ENABLE_EXPR_SCALAR

#define SACADO_FAD_OP_ENABLE_EXPR_SCALAR (   OP)    typename mpl::disable_if<mpl::is_same< typename Expr<T>::value_type, typename Expr<T>::scalar_type>, Expr< OP< Expr<T>, ConstExpr<typename Expr<T>::scalar_type> > > >::type

Definition at line 63 of file Sacado_SFINAE_Macros.hpp.