char_utils.h File Reference

#include <util/irep/expr.h>

Include dependency graph for char_utils.h:

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

Go to the source code of this file.

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)