9 #ifndef CPROVER_UTIL_STRING_CONSTANT_H 10 #define CPROVER_UTIL_STRING_CONSTANT_H 34 assert(expr.
id()==ID_string_constant);
40 assert(expr.
id()==ID_string_constant);
44 #endif // CPROVER_ANSI_C_STRING_CONSTANT_H void set_value(const irep_idt &value)
bool from_array_expr(const array_exprt &)
convert array constant into string
const irep_idt & id() const
API to expression classes.
array_exprt to_array_expr() const
convert string into array constant
const string_constantt & to_string_constant(const exprt &expr)
Base class for all expressions.
const irep_idt & get_value() const
array constructor from list of elements