|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <math.h>Functions | |
| static double | _atan (double f, int n) |
| double | atan (double x) |
| double | arctan (double x) |
| double | atan2 (double v, double u) |
|
static |
| double arctan | ( | double | x | ) |
| double atan | ( | double | x | ) |
| double atan2 | ( | double | v, |
| double | u ) |