|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include "libm.h"Functions | |
| double | cbrt (double x) |
Variables | |
| static const uint32_t | B1 = 715094163 |
| static const uint32_t | B2 = 696219795 |
| static const double | P0 = 1.87595182427177009643 |
| static const double | P1 = -1.88497979543377169875 |
| static const double | P2 = 1.621429720105354466140 |
| static const double | P3 = -0.758397934778766047437 |
| static const double | P4 = 0.145996192886612446982 |
| double cbrt | ( | double | x | ) |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |
|
static |