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

- v -

• va_args() : state_encodingt
• valid() : dynamic_object_exprt
• valid_id() : binary_overflow_exprt, overflow_result_exprt
• valid_var() : car_exprt
• validate() : abstract_goto_modelt, binary_exprt, binary_overflow_exprt, binary_predicate_exprt, binary_relation_exprt, code_assignt, code_frontend_assignt, code_function_callt, conditional_target_group_exprt, constant_exprt, count_leading_zeros_exprt, count_trailing_zeros_exprt, dereference_exprt, equal_exprt, exprt, find_first_set_exprt, goto_functionst, goto_functiont, goto_modelt, goto_programt::instructiont, goto_programt, goto_symext, if_exprt, interval_uniont, java_instanceof_exprt, journalling_symbol_tablet, lazy_goto_modelt, let_exprt, member_exprt, nullary_exprt, overflow_result_exprt, smt_array_theoryt::selectt, smt_array_theoryt::storet, smt_bit_vector_theoryt::addt, smt_bit_vector_theoryt::andt, smt_bit_vector_theoryt::arithmetic_shift_rightt, smt_bit_vector_theoryt::comparet, smt_bit_vector_theoryt::concatt, smt_bit_vector_theoryt::extractt, smt_bit_vector_theoryt::logical_shift_rightt, smt_bit_vector_theoryt::multiplyt, smt_bit_vector_theoryt::nandt, smt_bit_vector_theoryt::negatet, smt_bit_vector_theoryt::nort, smt_bit_vector_theoryt::nott, smt_bit_vector_theoryt::ort, smt_bit_vector_theoryt::repeatt, smt_bit_vector_theoryt::rotate_leftt, smt_bit_vector_theoryt::rotate_rightt, smt_bit_vector_theoryt::shift_leftt, smt_bit_vector_theoryt::sign_extendt, smt_bit_vector_theoryt::signed_dividet, smt_bit_vector_theoryt::signed_greater_than_or_equalt, smt_bit_vector_theoryt::signed_greater_thant, smt_bit_vector_theoryt::signed_less_than_or_equalt, smt_bit_vector_theoryt::signed_less_thant, smt_bit_vector_theoryt::signed_remaindert, smt_bit_vector_theoryt::subtractt, smt_bit_vector_theoryt::unsigned_dividet, smt_bit_vector_theoryt::unsigned_greater_than_or_equalt, smt_bit_vector_theoryt::unsigned_greater_thant, smt_bit_vector_theoryt::unsigned_less_than_or_equalt, smt_bit_vector_theoryt::unsigned_less_thant, smt_bit_vector_theoryt::unsigned_remaindert, smt_bit_vector_theoryt::xnort, smt_bit_vector_theoryt::xort, smt_bit_vector_theoryt::zero_extendt, smt_command_functiont, smt_core_theoryt::andt, smt_core_theoryt::distinctt, smt_core_theoryt::equalt, smt_core_theoryt::if_then_elset, smt_core_theoryt::impliest, smt_core_theoryt::nott, smt_core_theoryt::ort, smt_core_theoryt::xort, ssa_exprt, SSA_stept, symbol_table_baset, symbol_table_buildert, symbol_tablet, symex_target_equationt, ternary_exprt, typet, unary_exprt, unary_minus_overflow_exprt, unary_overflow_exprt, update_exprt, wrapper_goto_modelt
• validate_full() : code_assignt, code_frontend_assignt, code_function_callt, exprt, typet
• validate_goto_model() : api_optionst, api_sessiont
• validate_options() : function_call_harness_generatort, goto_harness_generatort, memory_snapshot_harness_generatort
• validation() : smt_function_application_termt::factoryt< functiont >
• validation_errors() : smt_array_theoryt::selectt
• valuation_pairt() : smt_get_value_responset::valuation_pairt
• value() : ansi_c_declaratort, byte_update_exprt, code_switcht, cpp_declaratort, java_string_literal_exprt, let_exprt, named_term_exprt, renamedt< underlyingt, level >, smt_bit_vector_constant_termt, smt_bool_literal_termt, smt_get_value_responset::valuation_pairt, smt_numeral_indext, string_constantt
• value_assignments() : string_abstractiont
• value_assignments_if() : string_abstractiont
• value_assignments_string_struct() : string_abstractiont
• value_begin() : small_mapt< T, Ind, Num >
• value_end() : small_mapt< T, Ind, Num >
• value_expr_from_smt_factoryt() : value_expr_from_smt_factoryt
• value_is_zero_string() : constant_exprt
• value_opt() : cmdlinet
• value_range() : abstract_value_objectt
• value_range_implementation() : abstract_value_objectt, constant_abstract_valuet, interval_abstract_valuet, value_set_abstract_objectt
• value_range_iteratort() : value_range_iteratort
• value_ranget() : value_ranget
• value_set() : vsd_configt
• value_set_abstract_objectt() : value_set_abstract_objectt
• value_set_analysis_fit() : value_set_analysis_fit
• value_set_analysis_templatet() : value_set_analysis_templatet< VSDT >
• value_set_dereferencet() : value_set_dereferencet
• value_set_domain_templatet() : value_set_domain_templatet< VST >
• value_set_evaluator() : value_set_evaluator
• value_set_fit() : value_set_fit
• value_set_index_ranget() : value_set_index_ranget
• value_set_pointer_abstract_objectt() : value_set_pointer_abstract_objectt
• value_set_value_ranget() : value_set_value_ranget
• value_setst() : value_setst
• value_sett() : value_sett
• values() : let_exprt
• valuet() : java_annotationt::valuet, value_set_dereferencet::valuet
• Var() : mini_bdd_mgrt
• var() : mini_bddt
• var_declarationt() : statement_list_parse_treet::var_declarationt
• var_no() : literalt
• var_table_entryt() : mini_bdd_mgrt::var_table_entryt
• variable() : java_bytecode_convert_methodt
• variable_sensitivity_dependence_domain_factoryt() : variable_sensitivity_dependence_domain_factoryt
• variable_sensitivity_dependence_domaint() : variable_sensitivity_dependence_domaint
• variable_sensitivity_dependence_grapht() : variable_sensitivity_dependence_grapht
• variable_sensitivity_domain_factoryt() : variable_sensitivity_domain_factoryt
• variable_sensitivity_domaint() : variable_sensitivity_domaint
• variable_sensitivity_object_factoryt() : variable_sensitivity_object_factoryt
• variables() : binding_exprt, let_exprt
• variablet() : java_bytecode_convert_methodt::variablet
• vcc() : goto_symext
• vector1() : shuffle_vector_exprt
• vector2() : shuffle_vector_exprt
• vector_exprt() : vector_exprt
• vector_typet() : vector_typet
• vectorst() : custom_bitvector_domaint::vectorst
• verification_result_implt() : verification_resultt::verification_result_implt
• verification_resultt() : verification_resultt
• verify() : abstract_environmentt, abstract_objectt, cegis_verifiert, full_array_abstract_objectt, full_struct_abstract_objectt
• verify_model() : api_sessiont
• verilog_bv_has_x_or_z() : bv_utilst
• verilog_bv_normal_bits() : bv_utilst
• visit() : abstract_objectt::abstract_object_visitort, ai_baset, exprt, flow_insensitive_analysis_baset, location_update_visitort, merge_location_update_visitort, smt_command_to_string_convertert, smt_index_const_downcast_visitort, smt_index_output_visitort, smt_option_to_string_convertert, smt_sort_output_visitort, smt_term_to_string_convertert, sort_based_cast_to_bit_vector_convertert, sort_based_literal_convertert, value_expr_from_smt_factoryt
• visit_cfg() : instrumentert::cfg_visitort
• visit_cfg_asm_fence() : instrumentert::cfg_visitort
• visit_cfg_assign() : instrumentert::cfg_visitort
• visit_cfg_backedge() : instrumentert::cfg_visitort
• visit_cfg_body() : instrumentert::cfg_visitort
• visit_cfg_duplicate() : instrumentert::cfg_visitort
• visit_cfg_fence() : instrumentert::cfg_visitort
• visit_cfg_function() : instrumentert::cfg_visitort
• visit_cfg_function_call() : instrumentert::cfg_visitort
• visit_cfg_goto() : instrumentert::cfg_visitort
• visit_cfg_lwfence() : instrumentert::cfg_visitort
• visit_cfg_propagate() : instrumentert::cfg_visitort
• visit_cfg_reference_function() : instrumentert::cfg_visitort
• visit_cfg_skip() : instrumentert::cfg_visitort
• visit_cfg_thread() : instrumentert::cfg_visitort
• visit_edge() : ai_baset
• visit_edge_function_call() : ai_baset, ai_recursive_interproceduralt, ai_three_way_merget
• visit_end_function() : ai_baset
• visit_expr() : pointer_equality_visitort
• visit_function_call() : ai_baset
• visit_post() : exprt
• visit_pre() : exprt
• visit_reachable() : grapht< N >
• visit_sub_elements() : abstract_objectt, full_array_abstract_objectt, full_struct_abstract_objectt
• visited_nodet() : visited_nodet< E >
• vsd_configt() : vsd_configt