ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
exp2f_data.h File Reference
#include <stdint.h>
Include dependency graph for exp2f_data.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  exp2f_data

Macros

#define EXP2F_TABLE_BITS   5
#define EXP2F_POLY_ORDER   3

Variables

const struct exp2f_data __exp2f_data

Macro Definition Documentation

◆ EXP2F_POLY_ORDER

#define EXP2F_POLY_ORDER   3

◆ EXP2F_TABLE_BITS

#define EXP2F_TABLE_BITS   5

Variable Documentation

◆ __exp2f_data

const struct exp2f_data __exp2f_data