- u -
- ui
: bmct
, bv_refinementt
, cbmc_solverst
, goto_difft
- ui_message_handler
: cbmc_parse_optionst
, clobber_parse_optionst
, goto_analyzer_parse_optionst
, goto_diff_parse_optionst
, goto_fence_inserter_parse_optionst
, goto_instrument_parse_optionst
, language_uit
, symex_parse_optionst
- unbounded_array
: boolbvt
- undefines
: configt::ansi_ct
- under_assumptions
: bv_refinementt::approximationt
- under_state
: bv_refinementt::approximationt
- unified_diff
: change_impactt
- uninitialized
: uninitialized_domaint
- uninitialized_analysis
: uninitializedt
- uniq
: shared_bufferst
- unique
: fence_insertert
, mip_vart
- unique_id
: instrumentert
- universal_axioms
: string_refinementt
- unknown_object
: local_may_aliast
- unknown_read_nodes
: instrumentert::cfg_visitort
- unknown_write_nodes
: instrumentert::cfg_visitort
- unmarked_dstates
: trace_automatont
- unsafe_pairs
: event_grapht::critical_cyclet
- unsigned_cnt
: ansi_c_convert_typet
, cpp_convert_typet
- unwind_limit
: path_searcht
- unwind_log
: goto_unwindt
- unwinding_map
: path_symex_statet
- update_indices
: arrayst
- updated
: instrumentert::cfg_visitort
- upper
: interval_templatet< T >
- upper_set
: interval_templatet< T >
- use_all_headers
: dump_ct
- use_array_of_bool
: smt2_convt
- use_cache
: prop_conv_solvert
- use_counter_example
: string_refinementt
- use_datatypes
: smt2_convt
- use_fixed_for_float
: configt::ansi_ct
- use_FPA_theory
: smt2_convt
- use_z3
: acceleratet
- used_local_names
: java_bytecode_convert_methodt
- using_scopes
: cpp_idt
- utils
: acceleratet
, disjunctive_polynomial_accelerationt
, polynomial_acceleratort
, sat_path_enumeratort
- uuf
: union_find< T >