include/basix/category_meta.hpp File Reference

#include <basix/operators.hpp>

Go to the source code of this file.

Classes

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.