Here is a list of all class members with links to the classes they belong to:

- u -

• u2_valuest : java_bytecode_parse_treet::classt
• ub : __CPROVER_contracts_car_t, boundst
• uc() : abstract_eventt
• UCHAR : c_typecastt
• ui_message_handler : c_test_input_generatort, goto_symex_fault_localizert, goto_symex_property_decidert, goto_verifiert, incremental_goto_checkert, parse_options_baset
• ui_message_handlert() : ui_message_handlert
• ui_msg() : ui_message_handlert
• UINT : c_typecastt
• uit : ui_message_handlert
• ULONG : c_typecastt
• ULONGLONG : c_typecastt
• unary() : smt2_parsert
• unary_exprt() : unary_exprt
• unary_minus() : constant_interval_exprt
• unary_minus_exprt() : unary_minus_exprt
• unary_minus_overflow_exprt() : unary_minus_overflow_exprt
• unary_overflow_exprt() : unary_overflow_exprt
• unary_plus() : constant_interval_exprt
• unary_plus_exprt() : unary_plus_exprt
• unary_predicate_exprt() : unary_predicate_exprt
• unbounded_array : boolbvt
• unbounded_arrayt : boolbvt
• unbounded_size() : interpretert
• unboxing_function_name : java_boxed_type_infot, java_primitive_type_infot
• uncaught_exceptions_domaint : uncaught_exceptions_analysist
• UNCHANGED : simplify_exprt::resultt< T >
• unchanged() : simplify_exprt
• unchecked_replace_symbolt() : unchecked_replace_symbolt
• undefined_shift_check() : goto_check_ct
• undefines : configt::ansi_ct
• under_assumptions : bv_refinementt::approximationt
• under_state : bv_refinementt::approximationt
• under_test : string_test_builtin_functiont
• underline() : consolet, messaget
• underlying : filter_iteratort< iteratort >, map_iteratort< iteratort, outputt >, sparse_vectort< T >
• underlying_end : filter_iteratort< iteratort >, map_iteratort< iteratort, outputt >
• underlying_iterator : dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >
• underlying_map : dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >
• underlying_mapt : lazy_goto_functions_mapt
• underlying_type() : c_bit_field_typet, c_enum_typet
• underlyingt : sparse_vectort< T >
• undo_function_calls() : remove_returnst
• unescape() : xmlt
• unflatten() : smt2_convt
• unified_diff : change_impactt, unified_difft
• unified_difft() : unified_difft
• UNINITIALIZED : java_bytecode_parse_treet::methodt::verification_type_infot
• uninitialized : uninitialized_domaint
• uninitialized_analysis : uninitializedt
• uninitialized_domaint() : uninitialized_domaint
• UNINITIALIZED_THIS : java_bytecode_parse_treet::methodt::verification_type_infot
• uninitialized_typet() : uninitialized_typet
• uninitializedt : uninitialized_domaint, uninitializedt
• union_abstract_type : vsd_configt
• union_exprt() : union_exprt
• union_option_mappings : vsd_configt
• union_tag_typet() : union_tag_typet
• union_typet() : union_typet
• uniq : shared_bufferst
• unique() : shared_bufferst
• unique_depth_begin() : exprt
• unique_depth_cbegin() : exprt
• unique_depth_cend() : exprt
• unique_depth_end() : exprt
• unique_id : decision_procedure_objectt, instrumentert
• univ_lower_bound : string_not_contains_constraintt
• univ_upper_bound : string_not_contains_constraintt
• univ_var : string_constraintt
• univ_within_bounds() : string_constraintt
• universal : string_axiomst, string_constraintst
• universal_only_in_index() : string_constraintt
• UNKNOWN : ieee_floatt
• unknown() : range_spect, tvt
• unknown_arg : cmdlinet
• unknown_histories : static_verifier_resultt
• unknown_object : local_may_aliast
• unknown_option_msg() : parse_options_baset
• unknown_read_nodes : instrumentert::cfg_visitort
• unknown_write_nodes : instrumentert::cfg_visitort
• unload() : goto_functionst, goto_modelt, lazy_goto_functions_mapt
• unmarked_dstates : trace_automatont
• unpack() : bv_arithmetict, float_bvt, float_utilst, ieee_float_valuet
• unpack_parseint_arguments() : string_constraint_generatort
• unpacked_floatt() : float_bvt::unpacked_floatt, float_utilst::unpacked_floatt
• unsafe_pair() : abstract_eventt
• unsafe_pair_asm() : abstract_eventt
• unsafe_pair_lwfence() : abstract_eventt
• unsafe_pair_lwfence_param() : abstract_eventt
• unsafe_pairs : event_grapht::critical_cyclet
• UNSAT : satcheck_zchaff_baset, smt2_solvert
• unshareable : copy_on_write_pointeet< Num >
• unsigned_cnt : ansi_c_convert_typet
• unsigned_divide : smt_bit_vector_theoryt
• unsigned_divider() : bv_utilst
• unsigned_greater_than : smt_bit_vector_theoryt
• unsigned_greater_than_or_equal : smt_bit_vector_theoryt
• unsigned_less_than() : bv_utilst, smt_bit_vector_theoryt
• unsigned_less_than_or_equal : smt_bit_vector_theoryt
• unsigned_multiplier() : bv_utilst
• unsigned_multiplier_no_overflow() : bv_utilst
• unsigned_remainder : smt_bit_vector_theoryt
• unsignedbv_typet() : unsignedbv_typet
• unsupported_java_class_signature_exceptiont() : unsupported_java_class_signature_exceptiont
• unsupported_operation_exceptiont() : unsupported_operation_exceptiont
• unused_location_number : goto_functionst
• unused_var_no() : literalt
• unwind() : goto_unwindt
• unwind_destructor_stack() : goto_convertt
• unwind_log : goto_unwindt
• unwind_strategyt : goto_unwindt
• unwind_transformed_loops : loop_contract_configt
• unwinding_assertions : symex_configt
• unwindset : multi_path_symex_only_checkert, single_loop_incremental_symex_checkert, single_path_symex_only_checkert, symex_bmct
• unwindsett() : unwindsett
• unwrap_context() : abstract_objectt, context_abstract_objectt
• upcast() : smt_check_sat_response_kindt::storert< derivedt >, smt_indext::storert< derivedt >, smt_logict::storert< derivedt >, smt_optiont::storert< derivedt >, smt_sortt::storert< derivedt >, smt_termt::storert< derivedt >
• update() : flow_insensitive_analysis_baset, goto_functionst, goto_programt, instrument_spec_assignst::location_intervalt, sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >
• update_bit_exprt() : update_bit_exprt
• update_bits_exprt() : update_bits_exprt
• update_ensures() : is_fresh_baset
• update_entry() : value_sett
• update_exprt() : update_exprt
• update_fn_call() : is_fresh_baset
• update_index_map() : arrayst
• update_indices : arrayst
• update_location_context_internal() : context_abstract_objectt, data_dependency_contextt, liveness_contextt, write_location_contextt
• update_max() : instrument_spec_assignst::location_intervalt
• update_min() : instrument_spec_assignst::location_intervalt
• update_properties() : multi_path_symex_only_checkert, single_path_symex_only_checkert
• update_properties_goals_from_symex_target_equation() : goto_symex_property_decidert
• update_properties_status_from_goals() : goto_symex_property_decidert
• update_requires() : is_fresh_baset
• update_scores() : goto_symex_fault_localizert
• update_state_exprt() : update_state_exprt
• update_type() : ssa_exprt
• updated : instrumentert::cfg_visitort, journalling_symbol_tablet
• updated_properties : incremental_goto_checkert::resultt
• updates : propertyt::trace_statet
• upper() : code_gcc_switch_case_ranget, interval_index_ranget, interval_templatet< T >
• upper_bound() : pointer_in_range_exprt, prophecy_pointer_in_range_exprt, string_constraintt, widened_ranget
• upper_bound_var() : car_exprt
• upper_set : interval_templatet< T >
• usage_error() : goto_cc_modet, parse_options_baset
• use_all_headers : system_library_symbolst
• use_array_of_bool : smt2_convt
• use_array_theory() : smt2_convt
• use_as_const : smt2_convt
• use_cache : prop_conv_solvert
• use_check_sat_assuming : smt2_convt
• use_count() : copy_on_write_pointeet< Num >, sharing_nodet< keyT, valueT, equalT >, small_shared_n_way_pointee_baset< N, Num >, small_shared_n_way_ptrt< Ts >, small_shared_pointeet< Num >, small_shared_ptrt< T >
• use_count_ : copy_on_write_pointeet< Num >, small_shared_pointeet< Num >
• use_count_bit_width : small_shared_n_way_pointee_baset< N, Num >
• use_count_mask : small_shared_n_way_pointee_baset< N, Num >
• use_counter_example : string_refinementt::configt
• use_countt : sharing_nodet< keyT, valueT, equalT >, small_shared_n_way_ptrt< Ts >
• use_datatypes : smt2_convt
• use_FPA_theory : smt2_convt
• use_lambda_for_array : smt2_convt
• use_library_macros : expr2c_configurationt
• use_regex_match : java_class_loader_limitt
• use_SGR : console_message_handlert, consolet
• use_z3 : acceleratet
• used_local_names : java_bytecode_convert_methodt
• user_defined_conversion_sequence() : cpp_typecheckt
• user_input_error_exceptiont() : user_input_error_exceptiont
• user_specified_properties : aggressive_slicert
• USHORT : c_typecastt
• using_scopes : cpp_idt
• utils : acceleratet, disjunctive_polynomial_accelerationt, polynomial_acceleratort, sat_path_enumeratort
• uuf : union_find< T, hasht >