- u -

• ub : __CPROVER_contracts_car_t , boundst
• ui_message_handler : c_test_input_generatort , goto_symex_fault_localizert , goto_symex_property_decidert , goto_verifiert , incremental_goto_checkert , parse_options_baset
• unbounded_array : boolbvt
• unboxing_function_name : java_boxed_type_infot , java_primitive_type_infot
• undefines : configt::ansi_ct
• under_assumptions : bv_refinementt::approximationt
• under_state : bv_refinementt::approximationt
• under_test : string_test_builtin_functiont
• underline : 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 >
• unified_diff : change_impactt
• uninitialized : uninitialized_domaint
• uninitialized_analysis : uninitializedt
• union_abstract_type : vsd_configt
• union_option_mappings : vsd_configt
• uniq : shared_bufferst
• unique_id : decision_procedure_objectt , instrumentert
• univ_lower_bound : string_not_contains_constraintt
• univ_upper_bound : string_not_contains_constraintt
• univ_var : string_constraintt
• universal : string_axiomst , string_constraintst
• unknown_arg : cmdlinet
• unknown_histories : static_verifier_resultt
• 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
• unshareable : copy_on_write_pointeet< Num >
• unsigned_cnt : ansi_c_convert_typet
• unsigned_divide : smt_bit_vector_theoryt
• unsigned_greater_than : smt_bit_vector_theoryt
• unsigned_greater_than_or_equal : smt_bit_vector_theoryt
• unsigned_less_than : smt_bit_vector_theoryt
• unsigned_less_than_or_equal : smt_bit_vector_theoryt
• unsigned_remainder : smt_bit_vector_theoryt
• unused_location_number : goto_functionst
• unwind_log : 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
• update_indices : arrayst
• updated : instrumentert::cfg_visitort , journalling_symbol_tablet
• updated_properties : incremental_goto_checkert::resultt
• updates : propertyt::trace_statet
• upper : interval_index_ranget , interval_templatet< T >
• upper_bound : string_constraintt , widened_ranget
• upper_set : interval_templatet< T >
• use_all_headers : system_library_symbolst
• use_array_of_bool : smt2_convt
• use_as_const : smt2_convt
• use_cache : prop_conv_solvert
• use_check_sat_assuming : smt2_convt
• use_count : small_shared_n_way_pointee_baset< N, Num >
• 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 : 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
• use_z3 : acceleratet
• used_local_names : java_bytecode_convert_methodt
• user_specified_properties : aggressive_slicert
• using_scopes : cpp_idt
• utils : acceleratet , disjunctive_polynomial_accelerationt , polynomial_acceleratort , sat_path_enumeratort
• uuf : union_find< T, hasht >