|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <math.h>Functions | |
| double | acos (double x) |
| double | arccos (double x) |
| double | __acos (double x) |
| void | __arccos_array (const double *v, double *out, int size) |
| double __acos | ( | double | x | ) |
| void __arccos_array | ( | const double * | v, |
| double * | out, | ||
| int | size ) |
| double acos | ( | double | x | ) |
| double arccos | ( | double | x | ) |