|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Namespaces | |
| namespace | cmath |
Variables | |
| float | cmath.pi = math.pi |
| float | cmath.e = math.e |
| float | cmath.tau = math.tau |
| float | cmath.inf = math.inf |
| float | cmath.nan = math.nan |
| complex | cmath.infj = complex(0.0, inf) |
| complex | cmath.nanj = complex(0.0, nan) |
| complex | cmath._I = complex(0.0, 1.0) |
| complex | cmath._NEG_I = complex(0.0, -1.0) |
| float | cmath._MIN_POSITIVE = 2.2250738585072014e-308 |
| float | cmath._LN2 = 0.6931471805599453 |
| float | cmath._LN10 = 2.302585092994046 |