python_char_utils Namespace Reference

Functions
bool	try_get_single_char_expr (const exprt &expr, exprt &char_expr, bool allow_void_pointer)
exprt	get_char_value_as_int (const exprt &expr, bool allow_void_pointer)

Function Documentation

get_char_value_as_int()

exprt python_char_utils::get_char_value_as_int	(	const exprt &	expr,
		bool	allow_void_pointer )

try_get_single_char_expr()

bool python_char_utils::try_get_single_char_expr	(	const exprt &	expr,
		exprt &	char_expr,
		bool	allow_void_pointer )