math_guard_utils.cpp File Reference

#include <python-frontend/math/math_guard_utils.h>
#include <python-frontend/json_utils.h>
#include <python-frontend/python_converter.h>
#include <python-frontend/type/type_handler.h>

Include dependency graph for math_guard_utils.cpp:

Namespaces
namespace	math_guard_utils

Functions
const std::unordered_set< std::string > &	math_guard_utils::math_wrapper_function_names ()
const std::unordered_set< std::string > &	math_guard_utils::math_module_function_names ()
const std::unordered_set< std::string > &	math_guard_utils::math_guard_real_general_functions ()
const std::unordered_set< std::string > &	math_guard_utils::math_guard_int_general_functions ()
const std::unordered_set< std::string > &	math_guard_utils::math_guard_real_general_twoarg_functions ()
bool	math_guard_utils::json_arg_contains_or_is_complex (const nlohmann::json &arg_json, const python_converter &converter, const type_handler &type_handler, const std::string &current_function)
bool	math_guard_utils::call_has_complex_in_args_or_keywords (const nlohmann::json &call, const python_converter &converter, const type_handler &type_handler, const std::string &current_function)
bool	math_guard_utils::call_first_cpp_throw_in_args_or_keywords (const nlohmann::json &call, python_converter &converter, exprt &throw_expr)