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 33 of file string_constant.h.
References irept::id().
Referenced by string_constraint_generatort::add_axioms_for_char_literal(), string_constraint_generatort::add_axioms_from_literal(), boolbvt::convert_bitvector(), dplib_convt::convert_dplib_expr(), cvc_convt::convert_expr(), c_typecheck_baset::do_initializer_rec(), smt1_convt::find_symbols(), smt2_convt::find_symbols(), remove_asmt::process_instruction(), and yyjsilparse().
|
inline |
Definition at line 39 of file string_constant.h.
References irept::id().