math_guard_utils Namespace Reference

Functions
const std::unordered_set< std::string > &	math_wrapper_function_names ()
const std::unordered_set< std::string > &	math_module_function_names ()
const std::unordered_set< std::string > &	math_guard_real_general_functions ()
const std::unordered_set< std::string > &	math_guard_int_general_functions ()
const std::unordered_set< std::string > &	math_guard_real_general_twoarg_functions ()
bool	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	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	call_first_cpp_throw_in_args_or_keywords (const nlohmann::json &call, python_converter &converter, exprt &throw_expr)

Function Documentation

call_first_cpp_throw_in_args_or_keywords()

bool math_guard_utils::call_first_cpp_throw_in_args_or_keywords	(	const nlohmann::json &	call,
		python_converter &	converter,
		exprt &	throw_expr )

call_has_complex_in_args_or_keywords()

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 )

json_arg_contains_or_is_complex()

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 )

math_guard_int_general_functions()

const std::unordered_set< std::string > & math_guard_utils::math_guard_int_general_functions

(

)

math_guard_real_general_functions()

const std::unordered_set< std::string > & math_guard_utils::math_guard_real_general_functions

(

)

math_guard_real_general_twoarg_functions()

const std::unordered_set< std::string > & math_guard_utils::math_guard_real_general_twoarg_functions

(

)

math_module_function_names()

const std::unordered_set< std::string > & math_guard_utils::math_module_function_names

(

)

math_wrapper_function_names()

const std::unordered_set< std::string > & math_guard_utils::math_wrapper_function_names

(

)