9 #ifndef CPROVER_JAVA_BYTECODE_JAVA_STRING_LITERALS_H 10 #define CPROVER_JAVA_BYTECODE_JAVA_STRING_LITERALS_H 16 const exprt &string_expr,
18 bool string_refinement_enabled);
API to expression classes.
Base class for all expressions.
The symbol table base class interface.
Expression to hold a symbol (variable)
symbol_exprt get_or_create_string_literal_symbol(const exprt &string_expr, symbol_table_baset &symbol_table, bool string_refinement_enabled)
Creates or gets an existing constant global symbol for a given string literal.