string_constraint_generatort Member List

This is the complete list of members for string_constraint_generatort, including all inherited members.

add_axioms_for_char_at(const function_application_exprt &f)	string_constraint_generatort
add_axioms_for_char_literal(const function_application_exprt &f)	string_constraint_generatort
add_axioms_for_characters_in_integer_string(const exprt &input_int, const typet &type, const bool strict_formatting, const array_string_exprt &str, const std::size_t max_string_length, const exprt &radix, const unsigned long radix_ul)	string_constraint_generatort
add_axioms_for_code_point(const array_string_exprt &res, const exprt &code_point)	string_constraint_generatort
add_axioms_for_code_point_at(const function_application_exprt &f)	string_constraint_generatort
add_axioms_for_code_point_before(const function_application_exprt &f)	string_constraint_generatort
add_axioms_for_code_point_count(const function_application_exprt &f)	string_constraint_generatort
add_axioms_for_compare_to(const function_application_exprt &f)	string_constraint_generatort
add_axioms_for_concat(const array_string_exprt &res, const array_string_exprt &s1, const array_string_exprt &s2)	string_constraint_generatort
add_axioms_for_concat_code_point(const function_application_exprt &f)	string_constraint_generatort
add_axioms_for_concat_substr(const array_string_exprt &res, const array_string_exprt &s1, const array_string_exprt &s2, const exprt &start_index, const exprt &end_index)	string_constraint_generatort
add_axioms_for_constant(const array_string_exprt &res, irep_idt sval, const exprt &guard=true_exprt())	string_constraint_generatort
add_axioms_for_constrain_characters(const function_application_exprt &f)	string_constraint_generatort
add_axioms_for_contains(const function_application_exprt &f)	string_constraint_generatort
add_axioms_for_copy(const function_application_exprt &f)	string_constraint_generatort
add_axioms_for_cprover_string(const array_string_exprt &res, const exprt &arg, const exprt &guard)	string_constraint_generatort
add_axioms_for_delete(const array_string_exprt &res, const array_string_exprt &str, const exprt &start, const exprt &end)	string_constraint_generatort
add_axioms_for_delete(const function_application_exprt &f)	string_constraint_generatort
add_axioms_for_delete_char_at(const function_application_exprt &expr)	string_constraint_generatort
add_axioms_for_empty_string(const function_application_exprt &f)	string_constraint_generatort
add_axioms_for_equals(const function_application_exprt &f)	string_constraint_generatort
add_axioms_for_equals_ignore_case(const function_application_exprt &f)	string_constraint_generatort
add_axioms_for_fractional_part(const array_string_exprt &res, const exprt &int_expr, size_t max_size)	string_constraint_generatort
add_axioms_for_function_application(const function_application_exprt &expr)	string_constraint_generatort
add_axioms_for_index_of(const array_string_exprt &str, const exprt &c, const exprt &from_index)	string_constraint_generatort
add_axioms_for_index_of(const function_application_exprt &f)	string_constraint_generatort
add_axioms_for_index_of_string(const array_string_exprt &haystack, const array_string_exprt &needle, const exprt &from_index)	string_constraint_generatort
add_axioms_for_insert(const array_string_exprt &res, const array_string_exprt &s1, const array_string_exprt &s2, const exprt &offset)	string_constraint_generatort
add_axioms_for_is_empty(const function_application_exprt &f)	string_constraint_generatort
add_axioms_for_is_prefix(const array_string_exprt &prefix, const array_string_exprt &str, const exprt &offset)	string_constraint_generatort
add_axioms_for_is_prefix(const function_application_exprt &f, bool swap_arguments)	string_constraint_generatort
add_axioms_for_is_suffix(const function_application_exprt &f, bool swap_arguments)	string_constraint_generatort
add_axioms_for_is_valid_int(const function_application_exprt &f)	string_constraint_generatort
add_axioms_for_last_index_of(const array_string_exprt &str, const exprt &c, const exprt &from_index)	string_constraint_generatort
add_axioms_for_last_index_of(const function_application_exprt &f)	string_constraint_generatort
add_axioms_for_last_index_of_string(const array_string_exprt &haystack, const array_string_exprt &needle, const exprt &from_index)	string_constraint_generatort
add_axioms_for_length(const function_application_exprt &f)	string_constraint_generatort
add_axioms_for_offset_by_code_point(const function_application_exprt &f)	string_constraint_generatort
add_axioms_for_parse_int(const function_application_exprt &f)	string_constraint_generatort
add_axioms_for_replace(const function_application_exprt &f)	string_constraint_generatort
add_axioms_for_set_length(const function_application_exprt &f)	string_constraint_generatort
add_axioms_for_string_of_float(const function_application_exprt &f)	string_constraint_generatort
add_axioms_for_string_of_float(const array_string_exprt &res, const exprt &f)	string_constraint_generatort
add_axioms_for_string_of_int(const array_string_exprt &res, const exprt &input_int, size_t max_size)	string_constraint_generatort
add_axioms_for_string_of_int_with_radix(const array_string_exprt &res, const exprt &input_int, const exprt &radix, size_t max_size)	string_constraint_generatort
add_axioms_for_substring(const array_string_exprt &res, const array_string_exprt &str, const exprt &start, const exprt &end)	string_constraint_generatort
add_axioms_for_substring(const function_application_exprt &f)	string_constraint_generatort
add_axioms_for_trim(const function_application_exprt &f)	string_constraint_generatort
add_axioms_from_bool(const function_application_exprt &f)	string_constraint_generatort
add_axioms_from_bool(const array_string_exprt &res, const exprt &b)	string_constraint_generatort
add_axioms_from_char(const function_application_exprt &f)	string_constraint_generatort
add_axioms_from_char(const array_string_exprt &res, const exprt &c)	string_constraint_generatort
add_axioms_from_double(const function_application_exprt &f)	string_constraint_generatort
add_axioms_from_float_scientific_notation(const array_string_exprt &res, const exprt &f)	string_constraint_generatort
add_axioms_from_float_scientific_notation(const function_application_exprt &f)	string_constraint_generatort
add_axioms_from_int_hex(const array_string_exprt &res, const exprt &i)	string_constraint_generatort
add_axioms_from_int_hex(const function_application_exprt &f)	string_constraint_generatort
add_axioms_from_literal(const function_application_exprt &f)	string_constraint_generatort
add_axioms_from_long(const function_application_exprt &f)	string_constraint_generatort
add_constraint_on_characters(const array_string_exprt &s, const exprt &start, const exprt &end, const std::string &char_set)	string_constraint_generatort
array_pool	string_constraint_generatort
associate_array_to_pointer(const exprt &return_code, const function_application_exprt &f)	string_constraint_generatort	private
associate_length_to_array(const exprt &return_code, const function_application_exprt &f)	string_constraint_generatort	private
combine_results(std::pair< exprt, string_constraintst > result1, std::pair< exprt, string_constraintst > result2)	string_constraint_generatort
fresh_symbol	string_constraint_generatort
get_conjuncts_for_correct_number_format(const array_string_exprt &str, const exprt &radix_as_char, const unsigned long radix_ul, const std::size_t max_size, const bool strict_formatting)	string_constraint_generatort
make_array_pointer_association(const exprt &return_code, const function_application_exprt &expr)	string_constraint_generatort
message_handler	string_constraint_generatort	private
ns	string_constraint_generatort
string_constraint_generatort(const namespacet &ns, message_handlert &message_handler)	string_constraint_generatort
unpack_parseint_arguments(const function_application_exprt &f, const typet &target_int_type)	string_constraint_generatort