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

- u -

• uintcap_typet() : uintcap_typet
• unary_exprt() : unary_exprt
• unbounded_array_ite() : array_convt
• unconstrained() : andersent
• under_meet() : wrapped_interval
• unescape() : xmlt
• unexpected_handler() : goto_symext
• unicode_strings_allowed() : formatter
• uniform_elem_size() : python_list
• uniform_element_type() : element_type_registry
• uniform_list_dict_value_type() : python_dict_handler
• uninterpreted_func2t() : uninterpreted_func2t
• union() : preprocessor.function_value_types._Analysis
• union_exprt() : union_exprt
• union_type2t() : union_type2t
• union_typet() : union_typet
• unnamed_nd_view_placeholder() : python_list
• unnamed_pointer_write() : loopst
• unordered_tuple_component() : python_converter
• unpack() : ieee_floatt
• unrecorded_base_elem_type() : python_list
• unresolved_arg_type() : python_annotation< Json >
• unsigned_divider() : bitblast_convt
• unsigned_less_than() : bitblast_convt
• unsigned_multiplier() : bitblast_convt
• unsigned_multiplier_no_overflow() : bitblast_convt
• unsignedbv_type2t() : unsignedbv_type2t
• unsignedbv_typet() : unsignedbv_typet
• unsound_loop_unroller() : unsound_loop_unroller
• UnsupportedConstructError() : UnsupportedConstructError
• unwind_constructed_subobjects() : clang_cpp_convertert
• unwind_destructor_stack() : goto_convertt
• update() : array_ast, array_sym_smt_ast, goto_functionst, goto_programt, persistent_map< K, V, Hash >, smt_ast, static_analysis_baset, tuple_node_smt_ast, tuple_sym_smt_ast, yices_smt_ast, z3_smt_ast
• update_after_switch_point() : execution_statet
• update_hash_collision_set() : reachability_treet
• update_hash_for_assignment() : execution_statet
• update_instructions_function() : goto_functiont, goto_programt
• update_intervals() : CspMap
• update_lb_interval() : CspMap
• update_object_map() : value_sett
• update_pointer_validity() : goto_symext
• update_symbol() : python_converter
• update_symbol_from_variant() : interval_domaint
• update_symbol_interval() : interval_domaint
• update_thunk_this_type() : clang_cpp_convertert
• update_ub_interval() : CspMap
• user_code_throws() : goto_convertt
• user_code_uses_exceptions() : clang_cpp_convertert
• user_provided() : irept
• utf8_buffered_reader() : utf8_buffered_reader
• utf8_byte_stream() : utf8_byte_stream< std::basic_string_view< Char > >, utf8_byte_stream< std::istream >
• utf8_reader() : utf8_reader< T >