char_utils.cpp File Reference

#include "char_utils.h"
#include <python-frontend/python_expr_builder.h>
#include <util/arith/arith_tools.h>
#include <util/lang/c_types.h>
#include <util/irep/std_types.h>
#include <util/irep/std_expr.h>

Include dependency graph for char_utils.cpp:

Namespaces
namespace	python_char_utils

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