/Users/mourrain/Devel/mmx/basix/include/basix/category_meta.hpp File Reference

#include <basix/operators.hpp>

Go to the source code of this file.

Classes

• struct boolean_helper< val >
• struct always
• struct never
• struct both_helper< T1, T2 >
• struct both< T1, T2 >
• struct different_helper< T1, T2 >
• struct different_helper< T1, T1 >
• struct different< T1, T2 >
• struct has< T, Op >
• struct has< generic, Op >
• struct ring_cat
• struct euclidean_ring_cat
• struct field_cat
• struct factorial_cat
• struct elementary_cat
• struct ordering_cat
• struct complex_cat
• struct ball_cat

Namespaces

• namespace mmx

Defines

• #define HAS(Op)
• #define HAS_RING()
• #define HAS_EUCLIDEAN_RING_ABOVE_RING()
• #define HAS_EUCLIDEAN_RING()
• #define HAS_FIELD_ABOVE_EUCLIDEAN_RING()
• #define HAS_FIELD_ABOVE_RING()
• #define HAS_FIELD()
• #define HAS_FACTORIAL()
• #define HAS_ELEMENTARY()
• #define HAS_ORDERING()
• #define HAS_COMPLEX()
• #define HAS_BALL()

---

Detailed Description

Definition in file category_meta.hpp.

---

Define Documentation

#define HAS

(

Op

)

Value:

META_TMPL                                       \
struct has<META_TYPE,Op > {                     \
  typedef META_COND Type;                       \
  typedef META_TPNM Type::Cond Cond;            \
  static inline generic lazy_value () {         \
    return META_COND::lazy_value (); }          \
};

Definition at line 113 of file category_meta.hpp.

Referenced by mmx::mmx_lex().

#define HAS_BALL

(

)

Value:

HAS(ball_op)                                    \
HAS(center_op)                                  \
HAS(radius_op)                                  \
HAS(ball_cat)

Definition at line 240 of file category_meta.hpp.

#define HAS_COMPLEX

(

)

Value:

HAS(gaussian_op)                                \
HAS(Re_op)                                      \
HAS(Im_op)                                      \
HAS(abs_op)                                     \
HAS(arg_op)                                     \
HAS(conj_op)                                    \
HAS(complex_cat)

Definition at line 223 of file category_meta.hpp.

#define HAS_ELEMENTARY

(

)

Value:

HAS(sqrt_op)                                    \
HAS(pow_op)                                     \
HAS(exp_op)                                     \
HAS(log_op)                                     \
HAS(cos_op)                                     \
HAS(sin_op)                                     \
HAS(tan_op)                                     \
HAS(acos_op)                                    \
HAS(asin_op)                                    \
HAS(atan_op)                                    \
HAS(elementary_cat)

Definition at line 187 of file category_meta.hpp.

#define HAS_EUCLIDEAN_RING

(

)

Value:

HAS_RING()                                      \
HAS_EUCLIDEAN_RING_ABOVE_RING()

Definition at line 147 of file category_meta.hpp.

#define HAS_EUCLIDEAN_RING_ABOVE_RING

(

)

Value:

HAS(quo_op)                                     \
HAS(rem_op)                                     \
HAS(euclidean_ring_cat)

Definition at line 142 of file category_meta.hpp.

#define HAS_FACTORIAL

(

)

Value:

HAS(gcd_op)                                     \
HAS(lcm_op)

Definition at line 175 of file category_meta.hpp.

#define HAS_FIELD

(

)

Value:

HAS_EUCLIDEAN_RING()                            \
HAS_FIELD_ABOVE_EUCLIDEAN_RING()

Definition at line 163 of file category_meta.hpp.

#define HAS_FIELD_ABOVE_EUCLIDEAN_RING

(

)

Value:

HAS(div_op)                                     \
HAS(field_cat)

Definition at line 155 of file category_meta.hpp.

#define HAS_FIELD_ABOVE_RING

(

)

Value:

HAS_EUCLIDEAN_RING_ABOVE_RING()                 \
HAS_FIELD_ABOVE_EUCLIDEAN_RING()

Definition at line 159 of file category_meta.hpp.

#define HAS_ORDERING

(

)

Value:

HAS(less_op)                                    \
HAS(lesseq_op)                                  \
HAS(gtr_op)                                     \
HAS(gtreq_op)                                   \
HAS(ordering_cat)

Definition at line 208 of file category_meta.hpp.

#define HAS_RING

(

)

Value:

HAS(neg_op)                                     \
HAS(add_op)                                     \
HAS(sub_op)                                     \
HAS(mul_op)                                     \
HAS(square_op)                                  \
HAS(ring_cat)

Definition at line 130 of file category_meta.hpp.