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

- _ -

• __align : pthread_attr_t, pthread_barrierattr_t, pthread_condattr_t, pthread_mutexattr_t, pthread_rwlockattr_t
• __arg : _pthread_cleanup_buffer
• __arrived : pthread_barrier_t
• __canceltype : _pthread_cleanup_buffer
• __count : mbstate_t, pthread_barrier_t, pthread_mutex_t, sem_t
• __depth : pthread_mutex_t
• __dummy : __esbmc_file_t
• __futex : pthread_cond_t
• __generation : pthread_barrier_t
• __init : sem_t
• __kind : pthread_mutex_t
• __lock : pthread_cond_t, pthread_mutex_t, pthread_spinlock_t, sem_t
• __nwaiters : pthread_cond_t
• __owner : pthread_mutex_t
• __prev : _pthread_cleanup_buffer
• __readers : pthread_rwlock_t
• __routine : _pthread_cleanup_buffer
• __sched_priority : sched_param
• __ss_align : sockaddr_storage
• __ss_pad1 : sockaddr_storage
• __ss_pad2 : sockaddr_storage
• __waiters : pthread_barrier_t, pthread_rwlock_t, pthread_spinlock_t, sem_t
• __writer : pthread_rwlock_t
• _arg : smanip
• _assert_eq_counter : preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _assignment_call_origins : preprocessor.core_visitors_mixin.CoreVisitorsMixin, preprocessor.module_lifecycle_mixin.ModuleLifecycleMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _buf : io.StringIO
• _BUILTIN_KEY_DUNDERS : preprocessor.generator_mixin.GeneratorMixin
• _BUILTIN_POSITIONAL_PARAMS : preprocessor.core_visitors_mixin.CoreVisitorsMixin
• _builtin_shadow_names : preprocessor.core_visitors_mixin.CoreVisitorsMixin, preprocessor.module_lifecycle_mixin.ModuleLifecycleMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _class_stack : preprocessor.class_context_mixin.ClassContextMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _classes_with_exit : preprocessor.class_context_mixin.ClassContextMixin
• _classes_with_post_init : preprocessor.dataclass_mixin.DataclassMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _closed_lambda_bindings : preprocessor.module_lifecycle_mixin.ModuleLifecycleMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _DATACLASS_API_ATTR_KINDS : preprocessor.dataclass_mixin.DataclassMixin
• _dataclass_asdict_names : preprocessor.dataclass_mixin.DataclassMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _dataclass_astuple_names : preprocessor.dataclass_mixin.DataclassMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _dataclass_class_specs : preprocessor.dataclass_mixin.DataclassMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _dataclass_decorator_names : preprocessor.dataclass_mixin.DataclassMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _dataclass_field_names : preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _dataclass_fields_api_names : preprocessor.dataclass_mixin.DataclassMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _dataclass_initvar_names : preprocessor.dataclass_mixin.DataclassMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _DATACLASS_INSTANCE_HANDLERS : preprocessor.dataclass_mixin.DataclassMixin
• _dataclass_is_dataclass_names : preprocessor.dataclass_mixin.DataclassMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _dataclass_replace_names : preprocessor.dataclass_mixin.DataclassMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _DEFAULT_NONDET_COLLECTION_SIZE : preprocessor.loop_mixin.LoopMixin
• _defaultdict_factory : preprocessor.assignment_visitors_mixin.AssignmentVisitorsMixin, preprocessor.core_visitors_mixin.CoreVisitorsMixin, preprocessor.loop_mixin.LoopMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _defaultdict_initialized_keys : preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _dict_param_call_shapes : preprocessor.module_rewrite_mixin.ModuleRewriteMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _eq_only_items_view_targets : preprocessor.core_visitors_mixin.CoreVisitorsMixin, preprocessor.module_lifecycle_mixin.ModuleLifecycleMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _esbmc_time_now : time
• _exit_suppresses_all : preprocessor.class_context_mixin.ClassContextMixin
• _exp : decimal.Decimal
• _FIELD_ALLOWED_OPTS : preprocessor.dataclass_mixin.DataclassMixin
• _FIELD_BOOL_OPTS : preprocessor.dataclass_mixin.DataclassMixin
• _fixed_length_starred : preprocessor.module_lifecycle_mixin.ModuleLifecycleMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin, preprocessor.vararg_mixin.VarargMixin
• _for_else_counter : preprocessor.loop_mixin.LoopMixin
• _gen_next_blacklist : preprocessor.generator_mixin.GeneratorMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _identity_functions : preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _imported_vararg_specs : preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _int : decimal.Decimal
• _is_constant_element : preprocessor.loop_mixin.LoopMixin
• _is_pure_operand : preprocessor.expression_rewrite_mixin.ExpressionRewriteMixin
• _is_special : decimal.Decimal
• _iter_counter : preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _keep : file_operations::tmp_path
• _kind : smanip
• _known_literal_values : preprocessor.generator_mixin.GeneratorMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _locked : threading.Lock, threading_deadlock.Lock
• _lower_functools_reduce_call : preprocessor.expression_rewrite_mixin.ExpressionRewriteMixin._ListCompExpressionLowerer
• _lower_sorted_key_scan : preprocessor.generator_mixin.GeneratorMixin
• _lower_sorted_with_key_call : preprocessor.generator_mixin.GeneratorMixin
• _MUTATING_LIST_METHODS : preprocessor.core_visitors_mixin.CoreVisitorsMixin
• _names_bound_by : preprocessor.module_rewrite_mixin.ModuleRewriteMixin
• _needs_dataclass_field_helper : preprocessor.dataclass_mixin.DataclassMixin, preprocessor.module_lifecycle_mixin.ModuleLifecycleMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _needs_dataclass_getattr_helper : preprocessor.dataclass_mixin.DataclassMixin, preprocessor.module_lifecycle_mixin.ModuleLifecycleMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _needs_dataclass_initvar_import : preprocessor.dataclass_mixin.DataclassMixin, preprocessor.module_lifecycle_mixin.ModuleLifecycleMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _needs_dataclass_replace_error_helper : preprocessor.dataclass_mixin.DataclassMixin, preprocessor.module_lifecycle_mixin.ModuleLifecycleMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _next_unpack_tmp_id : preprocessor.module_rewrite_mixin.ModuleRewriteMixin
• _NONDET_DICT_KEY_TYPES : preprocessor.loop_mixin.LoopMixin
• _NONDET_DICT_VALUE_TYPES : preprocessor.loop_mixin.LoopMixin
• _NONDET_LIST_ELEM_TYPES : preprocessor.loop_mixin.LoopMixin
• _NONDET_SCALAR_SUFFIXES : preprocessor.loop_mixin.LoopMixin
• _NUMPY_CONSTRUCTOR_SIGNATURES : preprocessor.numpy_constructor_mixin.NumpyConstructorMixin
• _NUMPY_REQUIRED_PARAMS : preprocessor.numpy_constructor_mixin.NumpyConstructorMixin
• _OPERATOR_DUNDERS : preprocessor.core_visitors_mixin.CoreVisitorsMixin
• _param_subscripting_funcs : preprocessor.module_rewrite_mixin.ModuleRewriteMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _PARSER_SUBMODULES : parser.bootstrap.ParserModuleDeps
• _pending_method_default_inits : preprocessor.class_context_mixin.ClassContextMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _pos : io.StringIO
• _PURE_DICT_METHODS : preprocessor.core_visitors_mixin.CoreVisitorsMixin
• _PURE_LIST_CONSUMERS : preprocessor.core_visitors_mixin.CoreVisitorsMixin
• _redefined_names : preprocessor.core_visitors_mixin.CoreVisitorsMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _REDUCE_CALL_STEP : preprocessor.expression_rewrite_mixin.ExpressionRewriteMixin
• _REDUCE_FIRST : preprocessor.expression_rewrite_mixin.ExpressionRewriteMixin
• _REDUCE_INITIAL : preprocessor.expression_rewrite_mixin.ExpressionRewriteMixin
• _REDUCE_LAMBDA_STEP : preprocessor.expression_rewrite_mixin.ExpressionRewriteMixin
• _reported_cycles : parser.import_resolver.ModuleImportInfo
• _reported_resolution_failures : parser.import_resolver.ModuleImportInfo
• _reported_unmodelled : parser.import_resolver.ModuleImportInfo
• _seq_iter_blacklist : preprocessor.preprocessor_state_mixin.PreprocessorStateMixin, preprocessor.sequence_iterator_mixin.SequenceIteratorMixin
• _SHADOW_TRACKED_BUILTINS : preprocessor.core_visitors_mixin.CoreVisitorsMixin
• _sign : decimal.Decimal
• _single_return_funcs : preprocessor.core_visitors_mixin.CoreVisitorsMixin, preprocessor.generator_mixin.GeneratorMixin, preprocessor.module_rewrite_mixin.ModuleRewriteMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _SIZABLE_TUPLE_MEMBER_TYPES : preprocessor.loop_mixin.LoopMixin
• _src : stack_framet
• _static_seq_len : preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _subscript_inferred_vars : preprocessor.expression_rewrite_mixin.ExpressionRewriteMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _SYMMETRIC_EQ_TRANSFORMS : preprocessor.expression_rewrite_mixin.ExpressionRewriteMixin
• _tid : threading.Thread, threading_deadlock.Thread
• _typing_classvar_names : preprocessor.dataclass_mixin.DataclassMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _TYPING_GENERIC_NAMES : preprocessor.import_typing_mixin.ImportTypingMixin
• _typing_imported_names : preprocessor.import_typing_mixin.ImportTypingMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _unmodelled_modules : parser.import_resolver.ModuleImportInfo
• _unobservable_builtin_keys : preprocessor.module_lifecycle_mixin.ModuleLifecycleMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _unpack_tmp_counter : preprocessor.loop_mixin.LoopMixin
• _unroll_counter : preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _used_imported_vararg_specs : preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _vararg_alias_calls : preprocessor.module_lifecycle_mixin.ModuleLifecycleMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _vararg_alias_stmts : preprocessor.preprocessor_state_mixin.PreprocessorStateMixin, preprocessor.vararg_mixin.VarargMixin
• _vararg_callee_defs : preprocessor.preprocessor_state_mixin.PreprocessorStateMixin, preprocessor.vararg_mixin.VarargMixin
• _vararg_def_owners : preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _vararg_dropped_defs : preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _vararg_func_defs : preprocessor.preprocessor_state_mixin.PreprocessorStateMixin, preprocessor.vararg_mixin.VarargMixin
• _vararg_module_defs : preprocessor.preprocessor_state_mixin.PreprocessorStateMixin, preprocessor.vararg_mixin.VarargMixin
• _vararg_once_bound : preprocessor.preprocessor_state_mixin.PreprocessorStateMixin, preprocessor.vararg_mixin.VarargMixin
• _vararg_owner_specs : preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _vararg_scope_stack : preprocessor.preprocessor_state_mixin.PreprocessorStateMixin, preprocessor.vararg_mixin.VarargMixin
• _vararg_specializations : preprocessor.preprocessor_state_mixin.PreprocessorStateMixin, preprocessor.vararg_mixin.VarargMixin
• _waiters : threading_deadlock.Lock
• _with_counter : preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
• _YieldReplacer : preprocessor.Preprocessor
• _YieldToAppend : preprocessor.Preprocessor