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

- 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_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 >