|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Functions | |
| float | phase (complex z) |
| float | _safe_sqrt_nonnegative (float x) |
| float | _sign (float x) |
| float | _clamp_unit (float x) |
| float | _safe_acosh_arg (float x) |
| float | _norm2 (float a, float b) |
| float | _real_asin_unit (float x) |
| float | _real_acos_unit (float x) |
| float | _real_acosh_ge1 (float x) |
| float | _abs_complex (complex z) |
| tuple[float, float] | polar (complex z) |
| complex | rect (float r, float phi) |
| complex | exp (complex z) |
| float | _safe_positive (float x) |
| float | _real_log_positive (float x) |
| complex | log (complex z, float base=0.0) |
| complex | log10 (complex z) |
| complex | sqrt (complex z) |
| complex | sin (complex z) |
| complex | cos (complex z) |
| complex | tan (complex z) |
| complex | sinh (complex z) |
| complex | cosh (complex z) |
| complex | tanh (complex z) |
| complex | asin (complex z) |
| complex | acos (complex z) |
| complex | atan (complex z) |
| complex | asinh (complex z) |
| complex | acosh (complex z) |
| complex | atanh (complex z) |
| bool | isnan (complex z) |
| bool | isinf (complex z) |
| bool | isfinite (complex z) |
| bool | isclose (complex a, complex b, float rel_tol=1e-09, float abs_tol=0.0) |
Variables | |
| float | pi = math.pi |
| float | e = math.e |
| float | tau = math.tau |
| float | inf = math.inf |
| float | nan = math.nan |
| complex | infj = complex(0.0, inf) |
| complex | nanj = complex(0.0, nan) |
| complex | _I = complex(0.0, 1.0) |
| complex | _NEG_I = complex(0.0, -1.0) |
| float | _MIN_POSITIVE = 2.2250738585072014e-308 |
| float | _LN2 = 0.6931471805599453 |
| float | _LN10 = 2.302585092994046 |
|
protected |
| complex cmath.acos | ( | complex | z | ) |
| complex cmath.acosh | ( | complex | z | ) |
| complex cmath.asin | ( | complex | z | ) |
| complex cmath.asinh | ( | complex | z | ) |
| complex cmath.atan | ( | complex | z | ) |
| complex cmath.atanh | ( | complex | z | ) |
| complex cmath.cos | ( | complex | z | ) |
| complex cmath.cosh | ( | complex | z | ) |
| complex cmath.exp | ( | complex | z | ) |
| bool cmath.isfinite | ( | complex | z | ) |
| bool cmath.isinf | ( | complex | z | ) |
| bool cmath.isnan | ( | complex | z | ) |
| complex cmath.log | ( | complex | z, |
| float | base = 0.0 ) |
| complex cmath.log10 | ( | complex | z | ) |
| float cmath.phase | ( | complex | z | ) |
| complex cmath.sin | ( | complex | z | ) |
| complex cmath.sinh | ( | complex | z | ) |
| complex cmath.sqrt | ( | complex | z | ) |
| complex cmath.tan | ( | complex | z | ) |
| complex cmath.tanh | ( | complex | z | ) |
|
protected |
|
protected |
|
protected |
|
protected |
| complex cmath.infj = complex(0.0, inf) |
| complex cmath.nanj = complex(0.0, nan) |