|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <python-frontend/math/complex_handler_utils.h>#include <python-frontend/python_converter.h>#include <python-frontend/exception/python_exception_handler.h>#include <cctype>#include <cstdlib>#include <string>Namespaces | |
| namespace | complex_utils |
Functions | |
| bool | complex_utils::parse_complex_string (const std::string &raw, double &real_out, double &imag_out) |
| Parses a Python complex literal string into (real, imag) components. | |
| exprt | complex_utils::raise_math_real_type_error_expr (python_converter &converter) |
| Generates a TypeError expression for math functions that reject complex arguments: "must be real number, not complex". | |
| exprt | complex_utils::raise_math_int_type_error_expr (python_converter &converter) |
| Generates a TypeError expression for functions that require an integer but received a complex: "'complex' object cannot be interpreted as an
integer". | |