Definition of the main floating-point datatype used; the ergo_real type. More...
#include "config.h"Go to the source code of this file.
Defines | |
| #define | REALTYPE_DEFINED_OK |
Typedefs | |
| typedef double | ergo_real |
| typedef double | ergo_long_real |
Definition of the main floating-point datatype used; the ergo_real type.
| #define REALTYPE_DEFINED_OK |
| typedef double ergo_long_real |
| typedef double ergo_real |
1.6.1