include/realroot/texp_tests.hpp File Reference

#include <realroot/texp_bool.hpp>

Go to the source code of this file.

Classes

• struct equal< X, Y >

  ask for type equality return T in { false_t, true_t } and V in {0,1} More...
  

• struct equal< X, X >
• struct tselect< X, A, B >

  select a type based on condition X, X is assumed to be in { null_t, false_t, true_t } More...
  

• struct tselect< false_t, A, B >
• struct tselect< null_t, A, B >
• struct vselect< k, A, B >

  select a type base on condition V, V is assumed to be in { 0, 1 } More...
  

• struct vselect< 0, A, B >
• struct tnot< X >
• struct tnot< false_t >
• struct tnot< null_t >
• struct is_ptr< X >
• struct If< test, A, B >
• struct If< false, A, B >
• struct Eq< A, B >
• struct Eq< A, A >
• struct ValueType< A >
• struct ValueType< A[n] >
• struct ValueType< A * >
• struct Int< n >
• struct BoolType< b >
• struct BoolType< true >
• struct deconst< X >
• struct deconst< const X >
• struct Sup< A, B >
• struct Pair< el, nx >

Namespaces

• namespace mmx
• namespace mmx::texp

Defines

• #define typelist1(a)   Type::Pair< a, Type::null_t >
• #define typelist2(a, b)   Type::Pair< a, typelist1(b) >
• #define typelist3(a, b, c)   Type::Pair< a, typelist2(b,c) >
• #define typelist4(a, b, c)   Type::Pair< a, typelist3(b,c,d) >

---

Define Documentation

#define typelist1

(

a

)

Type::Pair< a, Type::null_t >

Definition at line 125 of file texp_tests.hpp.

#define typelist2	(	a,
		b		)	Type::Pair< a, typelist1(b) >

Definition at line 126 of file texp_tests.hpp.

#define typelist3	(	a,
		b,
		c		)	Type::Pair< a, typelist2(b,c) >

Definition at line 127 of file texp_tests.hpp.

#define typelist4	(	a,
		b,
		c		)	Type::Pair< a, typelist3(b,c,d) >

Definition at line 128 of file texp_tests.hpp.