49 #ifndef SACADO_TRAITS_HPP 50 #define SACADO_TRAITS_HPP 60 #ifdef HAVE_SACADO_COMPLEX 78 static const bool value =
false;
84 static const bool value =
false;
94 template <
typename T,
unsigned,
unsigned>
struct ViewFadType {};
98 static const bool value =
false;
106 template <
typename A,
typename B,
typename Enabled =
void>
struct Promote {};
109 template <
typename A>
111 typename mpl::enable_if_c< !OverrideDefaultPromote<A>::value >
::type > {
116 template <
typename A,
typename B>
118 typename mpl::enable_if_c< mpl::is_convertible<A,B>::value &&
119 !mpl::is_convertible<B,A>::value &&
120 !OverrideDefaultPromote<A>::value &&
121 !OverrideDefaultPromote<B>::value
127 template <
typename A,
typename B>
129 typename mpl::enable_if_c< mpl::is_convertible<B,A>::value &&
130 !mpl::is_convertible<A,B>::value &&
131 !OverrideDefaultPromote<A>::value &&
132 !OverrideDefaultPromote<B>::value
141 template <
typename A,
typename B>
143 typename mpl::enable_if_c< mpl::is_convertible<A,B>::value &&
144 mpl::is_convertible<B,A>::value &&
145 !mpl::is_same<A,B>::value &&
146 ( IsExpr<A>::value ||
147 IsExpr<B>::value ) >
::type >
159 template <
typename A,
typename B>
161 typename mpl::enable_if_c< !mpl::is_convertible<A,B>::value &&
162 !mpl::is_convertible<B,A>::value &&
164 mpl::is_convertible< B, typename BaseExprType< typename A::value_type >::type >::value
175 template <
typename A,
typename B>
177 typename mpl::enable_if_c< !mpl::is_convertible<A,B>::value &&
178 !mpl::is_convertible<B,A>::value &&
180 mpl::is_convertible< A, typename BaseExprType< typename B::value_type >::type >::value
191 template <
typename A,
typename B>
193 typename mpl::enable_if_c< !mpl::is_convertible<A,B>::value &&
194 !mpl::is_convertible<B,A>::value &&
197 mpl::is_same< typename BaseExprType< typename A::value_type >::type,
198 typename BaseExprType< typename B::value_type >::type >::value
207 #define SACADO_PROMOTE_SPECIALIZATION(type1,type2,type3) \ 208 template <> struct Promote< type1, type2, void > { \ 209 typedef type3 type; \ 211 template <> struct Promote< type2, type1, void > { \ 212 typedef type3 type; \ 220 #ifdef HAVE_SACADO_COMPLEX 229 #endif // HAVE_SACADO_COMPLEX 231 #undef SACADO_PROMOTE_SPECIALIZATION 235 #define SACADO_AD_PROMOTE_SPEC(NS, AD) 237 #define SACADO_AD_PROMOTE_SPEC2(NS, AD) 239 #define SACADO_FAD_PROMOTE_SPEC(NS, FAD) 241 #define SACADO_SFAD_PROMOTE_SPEC(NS, FAD) 243 #define SACADO_EXPR_PROMOTE_SPEC(NS) 245 #define SACADO_VFAD_PROMOTE_SPEC(NS) 247 #define SACADO_RAD_PROMOTE_SPEC(NS) \ 249 template <typename> class ADvar; \ 250 template <typename> class ADvari; \ 252 template <typename T> \ 253 struct OverrideDefaultPromote< NS :: ADvari <T>& > { \ 254 static const bool value = true; \ 256 template <typename T> \ 257 struct Promote< NS :: ADvar <T>, \ 258 NS :: ADvari <T>& > { \ 259 typedef NS :: ADvar <T> type; \ 261 template <typename T> \ 262 struct Promote< NS :: ADvari <T>&, \ 263 NS :: ADvar <T> > { \ 264 typedef NS :: ADvar <T> type; \ 266 template <typename T> \ 267 struct Promote< NS :: ADvari <T>&, \ 268 typename NS :: ADvari <T>::value_type > { \ 269 typedef NS :: ADvar <T> type; \ 271 template <typename T> \ 272 struct Promote< typename NS :: ADvari <T>::value_type, \ 273 NS :: ADvari <T>& > { \ 274 typedef NS :: ADvar <T> type; \ 276 template <typename T> \ 277 struct Promote< NS :: ADvari <T>&, \ 278 typename dummy< typename NS :: ADvari <T>::value_type, \ 279 typename NS :: ADvari <T>::scalar_type \ 281 typedef NS :: ADvar <T> type; \ 283 template <typename T> \ 284 struct Promote< typename dummy< typename NS :: ADvari <T>::value_type, \ 285 typename NS :: ADvari <T>::scalar_type \ 287 NS :: ADvari <T>& > { \ 288 typedef NS :: ADvar <T> type; \ 363 template <
typename T>
struct Value {
369 template <
typename T>
struct Value<const
T> {
404 static std::string
eval() {
return ""; }
432 template <
typename T>
struct IsFad {
437 template <
typename T>
struct IsFad< const
T >
443 template <
typename T>
449 template <
typename T>
455 #define SACADO_BUILTIN_SPECIALIZATION(t,NAME) \ 456 template <> struct ScalarType< t > { \ 459 template <> struct ValueType< t > { \ 462 template <> struct IsADType< t > { \ 463 static const bool value = false; \ 465 template <> struct IsScalarType< t > { \ 466 static const bool value = true; \ 468 template <> struct Value< t > { \ 469 SACADO_INLINE_FUNCTION \ 470 static const t& eval(const t& x) { return x; } \ 472 template <> struct ScalarValue< t > { \ 473 SACADO_INLINE_FUNCTION \ 474 static const t& eval(const t& x) { return x; } \ 476 template <> struct StringName< t > { \ 477 static std::string eval() { return NAME; } \ 479 template <> struct IsEqual< t > { \ 480 SACADO_INLINE_FUNCTION \ 481 static bool eval(const t& x, const t& y) { \ 484 template <> struct IsStaticallySized< t > { \ 485 static const bool value = true; \ 488 #define SACADO_BUILTIN_SPECIALIZATION_COMPLEX(t,NAME) \ 489 template <> struct ScalarType< t > { \ 492 template <> struct ValueType< t > { \ 495 template <> struct IsADType< t > { \ 496 static const bool value = false; \ 498 template <> struct IsScalarType< t > { \ 499 static const bool value = true; \ 501 template <> struct Value< t > { \ 502 static const t& eval(const t& x) { return x; } \ 504 template <> struct ScalarValue< t > { \ 505 static const t& eval(const t& x) { return x; } \ 507 template <> struct StringName< t > { \ 508 static std::string eval() { return NAME; } \ 510 template <> struct IsEqual< t > { \ 511 static bool eval(const t& x, const t& y) { \ 514 template <> struct IsStaticallySized< t > { \ 515 static const bool value = true; \ 526 #ifdef HAVE_SACADO_COMPLEX 531 #undef SACADO_BUILTIN_SPECIALIZATION 532 #undef SACADO_BUILTIN_SPECIALIZATION_COMPLEX 534 template<
typename T , T v ,
bool NonZero = ( v != T(0) ) >
549 template<
typename T , T zero >
564 #endif // SACADO_TRAITS_HPP static SACADO_INLINE_FUNCTION const T & eval(const T &x)
static SACADO_INLINE_FUNCTION const value_type & eval(const T &x)
Base template specification for marking constants.
static std::string eval()
#define SACADO_PROMOTE_SPECIALIZATION(type1, type2, type3)
Specialization of Promote to builtin types.
SACADO_INLINE_FUNCTION integral_nonzero()
SACADO_INLINE_FUNCTION integral_nonzero & operator=(const integral_nonzero &v)
static SACADO_INLINE_FUNCTION void eval(T &x)
Base template specification for ScalarValue.
Base template specification for ScalarType.
Base template specification for whether a type is a Fad type.
Base template specification for string names of types.
static SACADO_INLINE_FUNCTION const T & eval(const T &x)
Base template specification for IsADType.
Base template specification for static size.
Base template specification for Value.
Base template specification for IsSimdType.
const ScalarType< T >::type type
SACADO_INLINE_FUNCTION integral_nonzero()
ValueType< T >::type value_type
Determine whether a given type is a view.
Base template specification for testing equivalence.
Get the base Fad type from a view/expression.
SACADO_INLINE_FUNCTION integral_nonzero & operator=(const T &)
#define SACADO_BUILTIN_SPECIALIZATION_COMPLEX(t, NAME)
Remove const from a type.
Do not initialize the derivative array.
const ValueType< T >::type type
integral_nonzero< T, v > type
static SACADO_INLINE_FUNCTION bool eval(const T &x, const T &y)
SACADO_INLINE_FUNCTION integral_nonzero(const integral_nonzero &v)
#define SACADO_BUILTIN_SPECIALIZATION(t, NAME)
Specialization of above classes to builtin types.
DerivInit
Enum use to signal whether the derivative array should be initialized in AD object constructors...
integral_nonzero< T, 0 > type
ScalarType< T >::type scalar_type
Initialize the derivative array.
Base template specification for IsScalarType.
static SACADO_INLINE_FUNCTION const scalar_type & eval(const T &x)
#define SACADO_INLINE_FUNCTION
static const unsigned value
SACADO_INLINE_FUNCTION integral_nonzero & operator=(const integral_nonzero &)
SACADO_INLINE_FUNCTION integral_nonzero(const integral_nonzero &)
SACADO_INLINE_FUNCTION integral_nonzero(const T &)
SACADO_INLINE_FUNCTION integral_nonzero(const T &v)
Base template specification for ValueType.
Base template specification for testing whether type is statically sized.
SACADO_INLINE_FUNCTION integral_nonzero & operator=(const T &v)
Get view type for any Fad type.