complex_handler_utils.h File Reference

#include <string>
#include <util/irep/expr.h>

Include dependency graph for complex_handler_utils.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

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".