texp_tests.hpp File Reference

#include <realroot/texp_bool.hpp>

Go to the source code of this file.

Classes
struct	mmx::texp::equal< X, Y >
	ask for type equality return T in { false_t, true_t } and V in {0,1} More...
struct	mmx::texp::equal< X, X >
struct	mmx::texp::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	mmx::texp::tselect< false_t, A, B >
struct	mmx::texp::tselect< null_t, A, B >
struct	mmx::texp::vselect< k, A, B >
	select a type base on condition V, V is assumed to be in { 0, 1 } More...
struct	mmx::texp::vselect< 0, A, B >
struct	mmx::texp::tnot< X >
struct	mmx::texp::tnot< false_t >
struct	mmx::texp::tnot< null_t >
struct	mmx::texp::is_ptr< X >
struct	mmx::texp::If< test, A, B >
struct	mmx::texp::If< false, A, B >
struct	mmx::texp::Eq< A, B >
struct	mmx::texp::Eq< A, A >
struct	mmx::texp::ValueType< A >
struct	mmx::texp::ValueType< A[n] >
struct	mmx::texp::ValueType< A * >
struct	mmx::texp::Int< n >
struct	mmx::texp::BoolType< b >
struct	mmx::texp::BoolType< true >
struct	mmx::texp::deconst< X >
struct	mmx::texp::deconst< const X >
struct	mmx::texp::Sup< A, B >
struct	mmx::texp::Pair< el, nx >

Namespaces
	mmx
	mmx::texp

Macros
#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) >

Macro Definition Documentation

#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) >