|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
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) |
| #define CIMAG | ( | z | ) |
| #define COMPLEX_DOUBLE double complex |
| #define CREAL | ( | z | ) |
| double cabs | ( | COMPLEX_DOUBLE | z | ) |
| double carg | ( | COMPLEX_DOUBLE | z | ) |
| double cimag | ( | COMPLEX_DOUBLE | z | ) |
| double creal | ( | COMPLEX_DOUBLE | z | ) |