ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
exp2f_data Struct Reference

#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]

Member Data Documentation

◆ invln2_scaled

double exp2f_data::invln2_scaled

◆ poly

double exp2f_data::poly[EXP2F_POLY_ORDER]

◆ poly_scaled

double exp2f_data::poly_scaled[EXP2F_POLY_ORDER]

◆ shift

double exp2f_data::shift

◆ shift_scaled

double exp2f_data::shift_scaled

◆ tab

uint64_t exp2f_data::tab[1<< EXP2F_TABLE_BITS]

The documentation for this struct was generated from the following file: