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

Macros

#define COMPLEX_DOUBLE   double complex
#define CREAL(z)
#define CIMAG(z)

Functions

double creal (COMPLEX_DOUBLE z)
double cimag (COMPLEX_DOUBLE z)
double cabs (COMPLEX_DOUBLE z)
double carg (COMPLEX_DOUBLE z)

Macro Definition Documentation

◆ CIMAG

#define CIMAG ( z)
Value:
__imag__(z)

◆ COMPLEX_DOUBLE

#define COMPLEX_DOUBLE   double complex

◆ CREAL

#define CREAL ( z)
Value:
__real__(z)

Function Documentation

◆ cabs()

double cabs ( COMPLEX_DOUBLE z)

◆ carg()

double carg ( COMPLEX_DOUBLE z)

◆ cimag()

double cimag ( COMPLEX_DOUBLE z)

◆ creal()

double creal ( COMPLEX_DOUBLE z)