|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <exp2f_data.h>
Public Attributes | |
| uint64_t | tab [1<< EXP2F_TABLE_BITS] |
| double | shift_scaled |
| double | poly [EXP2F_POLY_ORDER] |
| double | shift |
| double | invln2_scaled |
| double | poly_scaled [EXP2F_POLY_ORDER] |
| double exp2f_data::invln2_scaled |
| double exp2f_data::poly[EXP2F_POLY_ORDER] |
| double exp2f_data::poly_scaled[EXP2F_POLY_ORDER] |
| double exp2f_data::shift |
| double exp2f_data::shift_scaled |
| uint64_t exp2f_data::tab[1<< EXP2F_TABLE_BITS] |