ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
atan.c File Reference
#include <math.h>
Include dependency graph for atan.c:

Functions

static double _atan (double f, int n)
double atan (double x)
double arctan (double x)
double atan2 (double v, double u)

Function Documentation

◆ _atan()

double _atan ( double f,
int n )
static

◆ arctan()

double arctan ( double x)

◆ atan()

double atan ( double x)

◆ atan2()

double atan2 ( double v,
double u )