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 |