equal
deleted
inserted
replaced
124 |
124 |
125 #include <string.h> /* required for strlen() */ |
125 #include <string.h> /* required for strlen() */ |
126 // #include <stdlib.h> /* required for atoi() */ |
126 // #include <stdlib.h> /* required for atoi() */ |
127 #include <errno.h> /* required for errno */ |
127 #include <errno.h> /* required for errno */ |
128 |
128 |
129 |
129 #include <../main.hh> /* required for UINT64_MAX, INT64_MAX, INT64_MIN, ... */ |
130 |
|
131 #define __STDC_LIMIT_MACROS /* required for UINT64_MAX, INT64_MAX, INT64_MIN, ... */ |
|
132 #include <stdint.h> /* required for UINT64_MAX, INT64_MAX, INT64_MIN, ... */ |
|
133 |
|
134 |
|
135 |
|
136 #ifndef UINT64_MAX |
|
137 #define UINT64_MAX (std::numeric_limits< uint64_t >::max()) |
|
138 #endif |
|
139 #ifndef INT64_MAX |
|
140 #define INT64_MAX (std::numeric_limits< int64_t >::max()) |
|
141 #endif |
|
142 #ifndef INT64_MIN |
|
143 #define INT64_MIN (std::numeric_limits< int64_t >::min()) |
|
144 #endif |
|
145 |
|
146 #if (real64_t == float) |
|
147 #define HUGE_VAL64 HUGE_VALF |
|
148 #elif (real64_t == double) |
|
149 #define HUGE_VAL64 HUGE_VAL |
|
150 #elif (real64_t == long_double) |
|
151 #define HUGE_VAL64 HUGE_VALL |
|
152 #else |
|
153 #error Could not determine which data type is being used for real64_t (defined in absyntax.hh). Aborting! |
|
154 #endif |
|
155 |
|
156 |
|
157 |
|
158 |
130 |
159 |
131 |
160 |
132 |
161 |
133 |
162 |
134 |