Go to the documentation of this file.
9 #ifndef CPROVER_UTIL_STRING_CONSTANT_H
10 #define CPROVER_UTIL_STRING_CONSTANT_H
53 #endif // CPROVER_ANSI_C_STRING_CONSTANT_H
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
string_constantt(const irep_idt &value)
The type of an expression, extends irept.
const string_constantt & to_string_constant(const exprt &expr)
Base class for all expressions.
bool from_array_expr(const array_exprt &)
An expression without operands.
#define PRECONDITION(CONDITION)
const irep_idt & id() const
array_exprt to_array_expr() const
convert string into array constant
const irep_idt & get(const irep_namet &name) const
API to expression classes.
Array constructor from list of elements.
const irep_idt & get_value() const
void set_value(const irep_idt &value)