constants.h File Reference

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
struct	carl::constant_zero< T >
struct	carl::constant_one< T >

Namespaces
	carl
	carl is the main namespace for the library.

Macros
#define	constant_zero_declaration_type(type, zero_decl)
#define	constant_one_declaration_type(type, one_decl)
#define	constant_declarations(type, zero_decl, one_decl)

Detailed Description

Author

Sebastian Junges

Definition in file constants.h.

Macro Definition Documentation

constant_declarations

#define constant_declarations	(		type,
			zero_decl,
			one_decl
	)

Value:

    constant_zero_declaration(type, zero_decl)  \
    constant_one_declaration(type, one_decl)

Definition at line 34 of file constants.h.

constant_one_declaration_type

#define constant_one_declaration_type	(		type,
			one_decl
	)

Value:

template<> \
    struct constant_one<type> { \
        static const type& get()  \
        { \
            static type t = one_decl; \
            return t; \
        } \
    };

Definition at line 23 of file constants.h.

constant_zero_declaration_type

#define constant_zero_declaration_type	(		type,
			zero_decl
	)

Value:

template<> \
    struct constant_zero<type> { \
        static const type& get()  \
        { \
            static type t = zero_decl; \
            return t; \
        } \
    };

Definition at line 13 of file constants.h.