|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <logf_data.h>
Public Attributes | |
| struct { | |
| double invc | |
| double logc | |
| } | tab [1<< LOGF_TABLE_BITS] |
| double | ln2 |
| double | poly [LOGF_POLY_ORDER - 1] |
| double logf_data::invc |
| double logf_data::ln2 |
| double logf_data::logc |
| double logf_data::poly[LOGF_POLY_ORDER - 1] |
| struct { ... } logf_data::tab[1 << LOGF_TABLE_BITS] |