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

- v -

• va_list_copy() : goto_symext
• va_list_cursor() : goto_symext
• va_list_cursor_symbol() : goto_symext
• va_list_frame() : goto_symext
• va_list_is_started() : goto_symext
• va_list_l1_record() : goto_symext
• va_list_mark_started() : goto_symext
• va_list_owner_records() : goto_symext
• va_list_pointee_records() : goto_symext
• va_list_start() : goto_symext
• valid() : dynamic_object_exprt
• validate_delegate_shadow_compatible() : solidity_convertert
• validate_threading_thread_usage() : parser.parser_cli.ThreadingLoweringLike
• value() : exprt, preprocessor.function_value_types._Analysis
• value_kinds() : value_kinds
• value_set_analysist() : value_set_analysist
• value_set_domaint() : value_set_domaint
• value_set_objects() : goto_symext
• value_setst() : value_setst
• value_sett() : value_sett
• values() : collections.Counter
• valuet() : renaming::level2t::valuet
• var_no() : literalt
• variables() : global_scope, irept
• vart() : vart
• vector_type2t() : vector_type2t
• vector_typet() : vector_typet
• view() : file_operations::file_data
• view_element() : python_list
• view_element_count() : python_list
• violates_only_the_abstraction() : bmct
• visit() : ai_baset, preprocessor.generator_mixin._GeneratorConsumerScan, preprocessor.Preprocessor, static_analysis_baset
• visit_AnnAssign() : preprocessor.assignment_visitors_mixin.AssignmentVisitorsMixin
• visit_Assert() : preprocessor.expression_rewrite_mixin.ExpressionRewriteMixin
• visit_Assign() : preprocessor.core_visitors_mixin.CoreVisitorsMixin
• visit_AsyncFunctionDef() : preprocessor.coroutine_lowering._Lowering
• visit_Attribute() : parser.nested_class_imports._QualifyImportedNestedClasses, preprocessor.bound_method_values._Reads, preprocessor.check_type_lowering._CallSites, preprocessor.class_context_mixin._QualifyNestedClasses, preprocessor.dotted_imports._Rename, preprocessor.expression_rewrite_mixin.ExpressionRewriteMixin, preprocessor.namedtuple_lowering._Lowering
• visit_AugAssign() : preprocessor.assignment_visitors_mixin.AssignmentVisitorsMixin
• visit_Await() : preprocessor.coroutine_lowering._Lowering
• visit_Call() : preprocessor.core_visitors_mixin.CoreVisitorsMixin, preprocessor.coroutine_lowering._Lowering, preprocessor.expression_rewrite_mixin.ExpressionRewriteMixin._ListCompExpressionLowerer, preprocessor.function_value_dispatch._Codes, preprocessor.namedtuple_lowering._Lowering, preprocessor.path_dependent_attributes._Rewrite
• visit_ClassDef() : preprocessor.class_context_mixin.ClassContextMixin, preprocessor.generator_mixin.GeneratorMixin._YieldFromToFor
• visit_Compare() : preprocessor.expression_rewrite_mixin.ExpressionRewriteMixin, preprocessor.function_value_dispatch._Codes
• visit_Delete() : preprocessor.core_visitors_mixin.CoreVisitorsMixin
• visit_DictComp() : preprocessor.expression_rewrite_mixin.ExpressionRewriteMixin._ListCompExpressionLowerer
• visit_Expr() : preprocessor.check_type_lowering._CallSites, preprocessor.coroutine_lowering._Lowering, preprocessor.expression_rewrite_mixin.ExpressionRewriteMixin, preprocessor.generator_mixin.GeneratorMixin._YieldFromToFor, preprocessor.generator_mixin.GeneratorMixin._YieldReplacer, preprocessor.generator_mixin.GeneratorMixin._YieldToAppend
• visit_For() : preprocessor.loop_mixin.LoopMixin
• visit_FunctionDef() : preprocessor.core_visitors_mixin.CoreVisitorsMixin
• visit_GeneratorExp() : preprocessor.expression_rewrite_mixin.ExpressionRewriteMixin._ListCompExpressionLowerer, preprocessor.generator_mixin.GeneratorMixin
• visit_If() : preprocessor.expression_rewrite_mixin.ExpressionRewriteMixin
• visit_Import() : preprocessor.import_typing_mixin.ImportTypingMixin
• visit_ImportFrom() : parser.import_resolver._SubmoduleImportSplitter, preprocessor.check_type_lowering._CallSites, preprocessor.import_typing_mixin.ImportTypingMixin
• visit_Lambda() : preprocessor.generator_mixin.GeneratorMixin._YieldFromToFor
• visit_ListComp() : preprocessor.expression_rewrite_mixin.ExpressionRewriteMixin._ListCompExpressionLowerer
• visit_Match() : preprocessor.match_lowering._MatchLowering
• visit_Module() : preprocessor.module_lifecycle_mixin.ModuleLifecycleMixin
• visit_Name() : preprocessor.check_type_lowering._CallSites, preprocessor.coroutine_lowering._Lowering, preprocessor.function_value_dispatch._Codes, preprocessor.loop_mixin.LoopMixin, preprocessor.match_lowering._ReadSubject, preprocessor.namedtuple_lowering._Lowering
• visit_Return() : preprocessor.expression_rewrite_mixin.ExpressionRewriteMixin, preprocessor.function_value_dispatch._Returns
• visit_SetComp() : preprocessor.expression_rewrite_mixin.ExpressionRewriteMixin._ListCompExpressionLowerer
• visit_Subscript() : preprocessor.expression_rewrite_mixin.ExpressionRewriteMixin
• visit_Try() : preprocessor.expression_rewrite_mixin.ExpressionRewriteMixin
• visit_While() : preprocessor.expression_rewrite_mixin.ExpressionRewriteMixin
• visit_With() : preprocessor.loop_mixin.LoopMixin
• visit_YieldFrom() : preprocessor.generator_mixin.GeneratorMixin._YieldReplacer, preprocessor.generator_mixin.GeneratorMixin._YieldToAppend
• volatile_check() : goto_symext