math.c File Reference

#include <math.h>

Include dependency graph for math.c:

Functions
double	__ESBMC_sin (double x)
double	__ESBMC_cos (double x)
double	__ESBMC_sqrt (double x)
double	__ESBMC_exp (double x)
double	__ESBMC_log (double x)
double	__ESBMC_acos (double x)
double	__ESBMC_atan (double x)
double	__ESBMC_atan2 (double y, double x)
double	__ESBMC_log2 (double x)
double	__ESBMC_pow (double x, double y)
double	__ESBMC_fabs (double x)
double	__ESBMC_trunc (double x)
double	__ESBMC_fmod (double x, double y)
double	__ESBMC_copysign (double x, double y)
double	__ESBMC_tan (double x)
double	__ESBMC_asin (double x)
double	__ESBMC_sinh (double x)
double	__ESBMC_cosh (double x)
double	__ESBMC_tanh (double x)
double	__ESBMC_log10 (double x)
double	__ESBMC_inf (void)
double	__ESBMC_nan (void)
double	__ESBMC_expm1 (double x)
double	__ESBMC_log1p (double x)
double	__ESBMC_exp2 (double x)
double	__ESBMC_asinh (double x)
double	__ESBMC_acosh (double x)
double	__ESBMC_atanh (double x)
double	__ESBMC_hypot (double x, double y)

Function Documentation

__ESBMC_acos()

double __ESBMC_acos

(

double

x

)

__ESBMC_acosh()

double __ESBMC_acosh

(

double

x

)

__ESBMC_asin()

double __ESBMC_asin

(

double

x

)

__ESBMC_asinh()

double __ESBMC_asinh

(

double

x

)

__ESBMC_atan()

double __ESBMC_atan

(

double

x

)

__ESBMC_atan2()

double __ESBMC_atan2	(	double	y,
		double	x )

__ESBMC_atanh()

double __ESBMC_atanh

(

double

x

)

__ESBMC_copysign()

double __ESBMC_copysign	(	double	x,
		double	y )

__ESBMC_cos()

double __ESBMC_cos

(

double

x

)

__ESBMC_cosh()

double __ESBMC_cosh

(

double

x

)

__ESBMC_exp()

double __ESBMC_exp

(

double

x

)

__ESBMC_exp2()

double __ESBMC_exp2

(

double

x

)

__ESBMC_expm1()

double __ESBMC_expm1

(

double

x

)

__ESBMC_fabs()

double __ESBMC_fabs

(

double

x

)

__ESBMC_fmod()

double __ESBMC_fmod	(	double	x,
		double	y )

__ESBMC_hypot()

double __ESBMC_hypot	(	double	x,
		double	y )

__ESBMC_inf()

double __ESBMC_inf

(

void

)

__ESBMC_log()

double __ESBMC_log

(

double

x

)

__ESBMC_log10()

double __ESBMC_log10

(

double

x

)

__ESBMC_log1p()

double __ESBMC_log1p

(

double

x

)

__ESBMC_log2()

double __ESBMC_log2

(

double

x

)

__ESBMC_nan()

double __ESBMC_nan

(

void

)

__ESBMC_pow()

double __ESBMC_pow	(	double	x,
		double	y )

__ESBMC_sin()

double __ESBMC_sin

(

double

x

)

__ESBMC_sinh()

double __ESBMC_sinh

(

double

x

)

__ESBMC_sqrt()

double __ESBMC_sqrt

(

double

x

)

__ESBMC_tan()

double __ESBMC_tan

(

double

x

)

__ESBMC_tanh()

double __ESBMC_tanh

(

double

x

)

__ESBMC_trunc()

double __ESBMC_trunc

(

double

x

)