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

- u -

• u : array_convt::array_with, cudnnconvoldesc
• uf_ackermann_counter : smt_solver_baset
• uf_ackermann_history : smt_solver_baset
• uf_applications : goto_symext
• uf_decls : bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt
• unaligned : dereferencet::modet
• unifiedAddressing : cudaDeviceProp
• unknown : dynamic_object2t, property_countst
• unmodified : goto_loopst::function_summaryt
• unmodified_loop_vars : loopst
• unnamed_pointer_write_ : loopst
• unnamed_write : goto_loopst::function_summaryt
• unreached : property_countst
• unroll_limit : bounded_loop_unroller
• unsafe_reads : preprocessor.unbound_locals._Analysis, preprocessor.unbound_locals._Rewriter
• unsigned_arith : overflow_checkst
• untouched : flattened_pointert
• unwind_func_set : goto_symext
• unwind_set : goto_symext
• update_field : with2t
• update_level : array_convt::array_with
• update_value : byte_update2t, with2t
• upper : extract2t, interval_templatet< T >
• upper_bound : wrapped_interval
• use_fixed_for_float : configt::ansi_ct
• use_fp_api : mathsat_convt
• use_frame_rule : goto_loop_invariantt
• use_value_set : goto_symex_statet
• used_as_fptr : nested_func
• user_code_throws_cache : goto_convertt
• user_fb_defs : LdAst
• user_fb_instances : LdAst
• user_fbs : LdIR
• UserDefinedVarMap : solidity_convertert
• uses_exceptions : clang_cpp_convertert
• uuf : union_find< T >