string2array.cpp File Reference

#include <irep2/irep2_expr.h>
#include <util/arith/arith_tools.h>
#include <util/config/config.h>
#include <util/irep/migrate.h>
#include <util/irep/std_types.h>
#include <util/expr/string2array.h>

Include dependency graph for string2array.cpp:

Functions
void	string2array (const exprt &src, exprt &dest)

Function Documentation

string2array()

void string2array	(	const exprt &	src,
		exprt &	dest )