cprover
|
Go to the source code of this file.
Macros | |
#define | string_refinement_invariantt(reason) (("string_refinement_invariantt("+std::string(reason)+")").c_str()) |
#define string_refinement_invariantt | ( | reason | ) | (("string_refinement_invariantt("+std::string(reason)+")").c_str()) |
Definition at line 12 of file string_refinement_invariant.h.
Referenced by string_constraint_generatort::add_axioms_for_function_application(), string_constraint_generatort::add_axioms_for_index_of(), bv_refinementt::arrays_overapproximated(), bv_refinementt::check_SAT(), compute_inverse_function(), string_refinementt::dec_solve(), substitute_array_lists(), to_string_not_contains_constraint(), and update_index_set().