cprover
|
Go to the source code of this file.
Classes | |
class | string_constantt |
Functions | |
const string_constantt & | to_string_constant (const exprt &expr) |
string_constantt & | to_string_constant (exprt &expr) |
|
inline |
Definition at line 32 of file string_constant.h.
References irept::id().
Referenced by string_constraint_generatort::add_axioms_for_char_literal(), boolbvt::convert_bitvector(), c_typecheck_baset::do_initializer_rec(), smt2_convt::find_symbols(), remove_asmt::process_instruction_gcc(), remove_asmt::process_instruction_msc(), and yyjsilparse().
|
inline |
Definition at line 38 of file string_constant.h.
References irept::id().