- u -
- u2_values
: java_bytecode_parse_treet::classt::lambda_method_handlet
- ui
: bmct
, bv_refinementt::configt
, cbmc_solverst
, goto_difft
- ui_message_handler
: cbmc_parse_optionst
, clobber_parse_optionst
, goto_analyzer_parse_optionst
, goto_diff_parse_optionst
, goto_instrument_parse_optionst
, janalyzer_parse_optionst
, jbmc_parse_optionst
, jdiff_parse_optionst
, language_uit
- unbounded_array
: boolbvt
- undefines
: configt::ansi_ct
- under_assumptions
: bv_refinementt::approximationt
- under_state
: bv_refinementt::approximationt
- under_test
: string_test_builtin_functiont
- underlying
: sparse_vectort< T >
- unified_diff
: change_impactt
- uninitialized
: uninitialized_domaint
- uninitialized_analysis
: uninitializedt
- uniq
: shared_bufferst
- unique_id
: instrumentert
- univ_var
: string_constraintt
- universal
: string_axiomst
- unknown_arg
: cmdlinet
- unknown_object
: local_may_aliast
- unknown_read_nodes
: instrumentert::cfg_visitort
- unknown_write_nodes
: instrumentert::cfg_visitort
- unmarked_dstates
: trace_automatont
- unpack_expr
: non_const_byte_extraction_sizet
- unsafe_pairs
: event_grapht::critical_cyclet
- unshareable
: copy_on_write_pointeet< Num >
- unsigned_cnt
: ansi_c_convert_typet
, cpp_convert_typet
- unused_location_number
: goto_functionst
- unwind_log
: goto_unwindt
- unwindset
: symex_bmct
- update_indices
: arrayst
- updated
: instrumentert::cfg_visitort
- upper
: interval_templatet< T >
- upper_bound
: string_constraintt
- upper_set
: interval_templatet< T >
- use_all_headers
: system_library_symbolst
- use_array_of_bool
: smt2_convt
- use_cache
: prop_conv_solvert
- use_count_
: copy_on_write_pointeet< Num >
, small_shared_pointeet< Num >
, small_shared_two_way_pointeet< Num >
- use_counter_example
: string_refinementt::configt
- use_countt
: small_shared_two_way_ptrt< U, V >
- use_datatypes
: smt2_convt
- use_FPA_theory
: smt2_convt
- use_regex_match
: java_class_loader_limitt
- 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 >