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

Go to the source code of this file.

Macros

#define M_PI   3.14159265358979323846
#define M_PI_2   1.57079632679489661923132169164
#define NEPERIANO   2.718281828
#define PREC   1e-16

Functions

__device__ float exp10f (float x)
__device__ float powf_gpu (float x, float y)
float __exp10f (float x)
float __powf_gpu (float x, float y)
int __mul24 (int x, int y)
unsigned int __umul24 (unsigned int x, unsigned int y)

Macro Definition Documentation

◆ M_PI

#define M_PI   3.14159265358979323846

◆ M_PI_2

#define M_PI_2   1.57079632679489661923132169164

◆ NEPERIANO

#define NEPERIANO   2.718281828

◆ PREC

#define PREC   1e-16

Function Documentation

◆ __exp10f()

float __exp10f ( float x)

◆ __mul24()

int __mul24 ( int x,
int y )

◆ __powf_gpu()

float __powf_gpu ( float x,
float y )

◆ __umul24()

unsigned int __umul24 ( unsigned int x,
unsigned int y )

◆ exp10f()

__device__ float exp10f ( float x)

◆ powf_gpu()

__device__ float powf_gpu ( float x,
float y )