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

#include <logf_data.h>

Public Attributes

struct { 
   double   invc 
   double   logc 
} tab [1<< LOGF_TABLE_BITS]
double ln2
double poly [LOGF_POLY_ORDER - 1]

Member Data Documentation

◆ invc

double logf_data::invc

◆ ln2

double logf_data::ln2

◆ logc

double logf_data::logc

◆ poly

double logf_data::poly[LOGF_POLY_ORDER - 1]

◆ [struct]

struct { ... } logf_data::tab[1 << LOGF_TABLE_BITS]

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