cprover
character_refine_preprocesst Member List

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

bluemessagetstatic
boldmessagetstatic
bright_bluemessagetstatic
bright_cyanmessagetstatic
bright_greenmessagetstatic
bright_magentamessagetstatic
bright_redmessagetstatic
bright_yellowmessagetstatic
command(unsigned c)messagetinlinestatic
conditional_output(mstreamt &mstream, const std::function< void(mstreamt &)> &output_generator) constmessaget
conversion_functiont typedefcharacter_refine_preprocesstprivate
conversion_inputt typedefcharacter_refine_preprocesstprivate
conversion_tablecharacter_refine_preprocesstprivate
convert_char_count(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_char_function(exprt(*expr_function)(const exprt &chr, const typet &type), conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_char_value(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_compare(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_digit_char(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_digit_int(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_for_digit(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_get_directionality_char(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_get_directionality_int(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_get_numeric_value_char(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_get_numeric_value_int(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_get_type_char(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_get_type_int(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_hash_code(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_high_surrogate(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_alphabetic(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_bmp_code_point(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_defined_char(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_defined_int(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_digit_char(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_digit_int(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_high_surrogate(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_identifier_ignorable_char(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_identifier_ignorable_int(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_ideographic(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_ISO_control_char(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_ISO_control_int(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_java_identifier_part_char(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_java_identifier_part_int(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_java_identifier_start_char(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_java_identifier_start_int(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_java_letter(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_java_letter_or_digit(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_letter_char(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_letter_int(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_letter_or_digit_char(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_letter_or_digit_int(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_low_surrogate(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_lower_case_char(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_lower_case_int(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_mirrored_char(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_mirrored_int(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_space(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_space_char(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_space_char_int(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_supplementary_code_point(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_surrogate(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_surrogate_pair(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_title_case_char(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_title_case_int(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_unicode_identifier_part_char(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_unicode_identifier_part_int(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_unicode_identifier_start_char(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_unicode_identifier_start_int(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_upper_case_char(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_upper_case_int(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_valid_code_point(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_whitespace_char(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_is_whitespace_int(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_low_surrogate(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_reverse_bytes(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_to_chars(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_to_code_point(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_to_lower_case_char(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_to_lower_case_int(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_to_title_case_char(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_to_title_case_int(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_to_upper_case_char(conversion_inputt &target)character_refine_preprocesstprivatestatic
convert_to_upper_case_int(conversion_inputt &target)character_refine_preprocesstprivatestatic
cyanmessagetstatic
debug() constmessagetinline
eommessagetstatic
error() constmessagetinline
eval_verbosity(const std::string &user_input, const message_levelt default_verbosity, message_handlert &dest)messagetstatic
expr_of_char_count(const exprt &chr, const typet &type)character_refine_preprocesstprivatestatic
expr_of_char_value(const exprt &chr, const typet &type)character_refine_preprocesstprivatestatic
expr_of_high_surrogate(const exprt &chr, const typet &type)character_refine_preprocesstprivatestatic
expr_of_is_alphabetic(const exprt &chr, const typet &type)character_refine_preprocesstprivatestatic
expr_of_is_ascii_lower_case(const exprt &chr, const typet &type)character_refine_preprocesstprivatestatic
expr_of_is_ascii_upper_case(const exprt &chr, const typet &type)character_refine_preprocesstprivatestatic
expr_of_is_bmp_code_point(const exprt &chr, const typet &type)character_refine_preprocesstprivatestatic
expr_of_is_defined(const exprt &chr, const typet &type)character_refine_preprocesstprivatestatic
expr_of_is_digit(const exprt &chr, const typet &type)character_refine_preprocesstprivatestatic
expr_of_is_high_surrogate(const exprt &chr, const typet &type)character_refine_preprocesstprivatestatic
expr_of_is_identifier_ignorable(const exprt &chr, const typet &type)character_refine_preprocesstprivatestatic
expr_of_is_letter(const exprt &chr, const typet &type)character_refine_preprocesstprivatestatic
expr_of_is_letter_number(const exprt &chr, const typet &type)character_refine_preprocesstprivatestatic
expr_of_is_letter_or_digit(const exprt &chr, const typet &type)character_refine_preprocesstprivatestatic
expr_of_is_mirrored(const exprt &chr, const typet &type)character_refine_preprocesstprivatestatic
expr_of_is_space_char(const exprt &chr, const typet &type)character_refine_preprocesstprivatestatic
expr_of_is_supplementary_code_point(const exprt &chr, const typet &type)character_refine_preprocesstprivatestatic
expr_of_is_surrogate(const exprt &chr, const typet &type)character_refine_preprocesstprivatestatic
expr_of_is_title_case(const exprt &chr, const typet &type)character_refine_preprocesstprivatestatic
expr_of_is_unicode_identifier_part(const exprt &chr, const typet &type)character_refine_preprocesstprivatestatic
expr_of_is_unicode_identifier_start(const exprt &chr, const typet &type)character_refine_preprocesstprivatestatic
expr_of_is_valid_code_point(const exprt &chr, const typet &type)character_refine_preprocesstprivatestatic
expr_of_is_whitespace(const exprt &chr, const typet &type)character_refine_preprocesstprivatestatic
expr_of_low_surrogate(const exprt &chr, const typet &type)character_refine_preprocesstprivatestatic
expr_of_reverse_bytes(const exprt &chr, const typet &type)character_refine_preprocesstprivatestatic
expr_of_to_chars(const exprt &chr, const typet &type)character_refine_preprocesstprivatestatic
expr_of_to_lower_case(const exprt &chr, const typet &type)character_refine_preprocesstprivatestatic
expr_of_to_title_case(const exprt &chr, const typet &type)character_refine_preprocesstprivatestatic
expr_of_to_upper_case(const exprt &chr, const typet &type)character_refine_preprocesstprivatestatic
faintmessagetstatic
get_message_handler()messagetinline
get_mstream(unsigned message_level) constmessagetinline
greenmessagetstatic
in_interval_expr(const exprt &chr, const mp_integer &lower_bound, const mp_integer &upper_bound)character_refine_preprocesstprivatestatic
in_list_expr(const exprt &chr, const std::list< mp_integer > &list)character_refine_preprocesstprivatestatic
initialize_conversion_table()character_refine_preprocesst
italicmessagetstatic
M_DEBUG enum valuemessaget
M_ERROR enum valuemessaget
M_PROGRESS enum valuemessaget
M_RESULT enum valuemessaget
M_STATISTICS enum valuemessaget
M_STATUS enum valuemessaget
M_WARNING enum valuemessaget
magentamessagetstatic
message_handlermessagetprotected
message_levelt enum namemessaget
messaget()messagetinline
messaget(const messaget &other)messagetinline
messaget(message_handlert &_message_handler)messagetinlineexplicit
mstreammessagetmutableprotected
operator=(const messaget &other)messagetinline
progress() constmessagetinline
redmessagetstatic
replace_character_call(const code_function_callt &call) constcharacter_refine_preprocesst
resetmessagetstatic
result() constmessagetinline
set_message_handler(message_handlert &_message_handler)messagetinlinevirtual
statistics() constmessagetinline
status() constmessagetinline
underlinemessagetstatic
warning() constmessagetinline
yellowmessagetstatic
~messaget()messagetvirtual