Here is a list of all namespace members with links to the namespace documentation for each member:

- _ -

• __ESBMC_default_terminate_handler() : __ESBMC_exception_detail
• __ESBMC_default_unexpected_handler() : __ESBMC_exception_detail
• __ESBMC_exception_slot_count : __ESBMC_exception_detail
• __ESBMC_exception_slots : __ESBMC_exception_detail
• __ESBMC_handled_exception_depth : __ESBMC_exception_detail
• __ESBMC_handled_exceptions : __ESBMC_exception_detail
• __ESBMC_terminate_handler_ref() : __ESBMC_exception_detail
• __ESBMC_terminate_reason : __ESBMC_exception_detail
• __ESBMC_terminate_reason_exception_spec : __ESBMC_exception_detail
• __ESBMC_terminate_reason_generic : __ESBMC_exception_detail
• __ESBMC_terminate_reason_no_active : __ESBMC_exception_detail
• __ESBMC_terminate_reason_noexcept : __ESBMC_exception_detail
• __ESBMC_terminate_reason_uncaught : __ESBMC_exception_detail
• __ESBMC_unexpected_handler_ref() : __ESBMC_exception_detail
• _abs_complex() : cmath
• _adopt_type_specializations() : parser.import_resolver
• _ancestors() : preprocessor.skipped_base_init
• _annotations() : parser.class_collision
• _ARG_VAR_PREFIX : preprocessor.unittest_mixin
• _arguments() : preprocessor.namedtuple_lowering
• _as_list() : preprocessor.itertools_lowering
• _ASSERTIONS : preprocessor.unittest_mixin
• _assign_target_names() : parser.json_emitter
• _assigned_names_for_re_binding() : parser.rewrite_re
• _assigned_value() : preprocessor.namedtuple_lowering
• _attribute_uses() : preprocessor.skipped_base_init
• _base_is_thread() : parser.threading_lowering
• _base_module_name() : parser.import_resolver
• _bind_arguments() : preprocessor.unittest_mixin
• _binders() : parser.nested_class_imports
• _binding() : preprocessor.path_dependent_attributes
• _binding_counts() : preprocessor.coroutine_lowering
• _binding_nodes() : preprocessor.receiver_classes
• _binding_targets() : preprocessor.unbound_locals
• _bindings() : preprocessor.path_dependent_attributes
• _binds() : preprocessor.module_rewrite_mixin
• _binds_by_string() : preprocessor.function_value_dispatch
• _binds_names_or_attributes() : preprocessor.receiver_classes
• _binds_only_its_name() : preprocessor.sibling_defs
• _binds_otherwise() : parser.class_collision, preprocessor.dotted_imports
• _blocks() : preprocessor.itertools_lowering
• _bound_identifiers() : preprocessor.namedtuple_lowering
• _bound_ids() : preprocessor.unbound_locals
• _bound_names() : parser.import_resolver, preprocessor.check_type_lowering, preprocessor.function_value_dispatch, preprocessor.itertools_lowering, preprocessor.match_lowering, preprocessor.zip_lowering
• _bound_value() : preprocessor.bound_method_dispatch
• _build_arg_assignment() : parser.threading_lowering
• _build_arg_declaration() : parser.threading_lowering
• _build_bare_thread_call() : parser.threading_lowering
• _build_join_call() : parser.threading_lowering
• _build_obj_declaration() : parser.threading_lowering
• _build_re_helper_call() : parser.rewrite_re
• _build_start_statements() : parser.threading_lowering
• _build_subclass_trampoline() : parser.threading_lowering
• _build_target_call() : parser.threading_lowering
• _build_tid_declaration() : parser.threading_lowering
• _build_trampoline() : parser.threading_lowering
• _builtin_lacks() : preprocessor.path_dependent_attributes
• _BUILTIN_RESULTS : preprocessor.function_value_types
• _c3_merge() : preprocessor.receiver_classes
• _call_attribute() : preprocessor.path_dependent_attributes
• _call_class_name() : parser.threading_lowering
• _call_directly() : preprocessor.function_value_dispatch
• _call_type_error() : builtins
• _CALLABLE : preprocessor.function_value_dispatch
• _called_name() : parser.import_resolver
• _called_names() : preprocessor.bound_method_dispatch
• _callee_name() : preprocessor.namedtuple_lowering
• _calls_an_init() : preprocessor.skipped_base_init
• _calls_of() : preprocessor.bound_method_dispatch
• _can_create_class() : parser.import_resolver
• _candidates() : preprocessor.unbound_locals
• _CAP : preprocessor.function_value_dispatch
• _case_branch() : preprocessor.match_lowering
• _CASE_VAR_PREFIX : preprocessor.unittest_mixin
• _chain() : preprocessor.function_value_dispatch
• _check_decorators() : preprocessor.decorator_lowering
• _check_escapes() : preprocessor.receiver_classes
• _check_inline_constructions() : preprocessor.receiver_classes
• _check_isinstance() : preprocessor.receiver_classes
• _check_scope() : preprocessor.receiver_classes
• _CHOSEN : preprocessor.function_value_dispatch
• _clamp_unit() : cmath
• _class_attributes() : preprocessor.namedtuple_lowering
• _class_in() : preprocessor.check_type_lowering
• _class_lacks() : preprocessor.path_dependent_attributes
• _class_scope_nodes() : preprocessor.class_context_mixin
• _classinfo_names() : preprocessor.receiver_classes
• _CODE : preprocessor.function_value_dispatch
• _collect_assigned_names_anywhere() : parser.rewrite_re
• _collect_func_subclass_sites() : parser.threading_lowering
• _collect_import_targets() : parser.import_resolver
• _collect_scope_statements() : parser.threading_lowering
• _collect_subclass_sites() : parser.threading_lowering
• _collect_thread_aliases() : parser.threading_lowering
• _collect_thread_subclass_defs() : parser.threading_lowering
• _collect_thread_var_sites() : parser.threading_lowering
• _collect_walrus_re_bindings() : parser.rewrite_re
• _compare() : preprocessor.unittest_mixin
• _compare_none() : preprocessor.unittest_mixin
• _COMPOUND : preprocessor.function_value_dispatch
• _compute_output_json_path() : parser.json_emitter
• _compute_range_seed() : parser.range_alias_pipeline
• _constructed_class() : preprocessor.namedtuple_lowering
• _constructed_classes() : preprocessor.receiver_classes
• _declared_outer_names() : parser.threading_lowering
• _declared_return() : preprocessor.bound_method_values
• _decorator_root() : preprocessor.decorator_lowering
• _def_scope_nodes() : preprocessor.class_context_mixin
• _DEFAULT_NONDET_SIZE : nondet
• _defaults() : preprocessor.namedtuple_lowering
• _defining_class() : preprocessor.receiver_classes
• _definite_classes() : preprocessor.receiver_classes
• _definition() : preprocessor.namedtuple_lowering
• _DEPS : parser.parser
• _differ() : preprocessor.function_value_types
• _digit_prefix_len() : re
• _dotted() : parser.class_collision, preprocessor.dotted_imports
• _drain_once() : preprocessor.itertools_lowering
• _drained() : preprocessor.itertools_lowering
• _DRAINS : preprocessor.itertools_lowering
• _Elem : heapq
• _emit_collected_import_json() : parser.import_resolver
• _emit_error() : parser.threading_lowering
• _emit_file_as_json : parser.parser
• _emit_model_jsons() : parser.parser_cli
• _emit_module_json : parser.parser
• _emit_submodule_asts() : parser.import_resolver
• _evaluated_arguments() : preprocessor.coroutine_lowering
• _extract_module_names() : parser.import_resolver
• _extract_name_binding() : parser.threading_lowering
• _failed_assert() : preprocessor.bound_method_dispatch
• _FIELD : preprocessor.dataclass_mixin
• _field_names() : preprocessor.namedtuple_lowering
• _filter_nodes_for_import() : parser.json_emitter
• _finalize_after_imports() : parser.import_resolver
• _finalize_parsed_trees() : parser.import_resolver
• _find_binding_stmt_index() : parser.threading_lowering
• _find_cycle_from() : parser.import_resolver
• _fits_int64() : parser.constant_annotations
• _flag_assign() : preprocessor.unbound_locals
• _flag_mode() : re
• _FLAG_PREFIX : preprocessor.unbound_locals
• _FLAGS : parser.parser_cli
• _from_imported() : parser.nested_class_imports
• _from_imports() : parser.class_collision
• _fullmatch_flags() : re
• _function() : preprocessor.itertools_lowering
• _FUNCTIONS : preprocessor.check_type_lowering, preprocessor.itertools_lowering
• _functions() : preprocessor.bound_method_values
• _generate_ast_json : parser.parser
• _global_error() : preprocessor.unbound_locals
• _group() : re
• _groups() : re
• _guard() : preprocessor.unbound_locals
• _guard_function() : preprocessor.unbound_locals
• _guard_is_rewritable() : preprocessor.match_lowering
• _guard_module() : preprocessor.unbound_locals
• _has_model_file() : parser.import_resolver
• _has_outside_base() : preprocessor.receiver_classes
• _has_star_import() : parser.import_resolver, parser.nested_class_imports, preprocessor.namedtuple_lowering
• _head_exprs() : preprocessor.unbound_locals
• _header_nodes() : preprocessor.receiver_classes
• _held() : preprocessor.bound_method_values
• _helper() : preprocessor.bound_method_values
• _hoist_func_subclass_binding() : parser.threading_lowering
• _HOOKS : preprocessor.path_dependent_attributes
• _I : cmath
• _identifiers() : parser.nested_class_imports, preprocessor.class_context_mixin
• _IDENTITY : preprocessor.function_value_dispatch
• _impl() : parser
• _import_binds() : parser.class_collision
• _import_with_fallback() : parser.bootstrap
• _importer_is_plain() : parser.class_collision
• _imports() : preprocessor.check_type_lowering, preprocessor.itertools_lowering
• _imports_module() : parser.nested_class_imports
• _imports_of() : parser.import_resolver
• _init() : preprocessor.skipped_base_init
• _inline_single_use() : preprocessor.itertools_lowering
• _inline_zip() : preprocessor.zip_lowering
• _insert_after() : preprocessor.path_dependent_attributes
• _inside_class() : preprocessor.bound_method_values
• _inside_loop_within_scope() : parser.threading_lowering
• _instance() : preprocessor.bound_method_values
• _instance_names() : preprocessor.namedtuple_lowering
• _INT64_MAX : parser.constant_annotations
• _INT64_MIN : parser.constant_annotations
• _INTRINSIC_UNDEFINED : parser.typecheck
• _INTRINSICS : parser.typecheck
• _is_asyncio_run() : preprocessor.coroutine_lowering
• _is_builtin_call() : preprocessor.function_value_dispatch
• _is_call() : preprocessor.iter_next_lowering
• _is_call_of() : preprocessor.bound_method_dispatch
• _is_callee() : preprocessor.function_value_dispatch
• _is_contract_clause_call() : preprocessor.generator_mixin
• _is_ellipsis() : preprocessor.check_type_lowering
• _is_generator() : preprocessor.coroutine_lowering
• _is_imported_model() : parser.import_resolver
• _is_lowerable() : preprocessor.match_lowering
• _is_names() : preprocessor.unittest_mixin
• _is_next_of_name() : preprocessor.generator_mixin
• _is_paren_digit_plus() : re
• _is_re_match_call() : parser.rewrite_re
• _is_stable() : preprocessor.itertools_lowering
• _is_standard_library_file() : parser.import_resolver
• _is_subclass() : preprocessor.receiver_classes
• _is_subclass_constructor() : parser.threading_lowering
• _is_submodule_import() : parser.import_resolver
• _is_super_call_expr() : parser.threading_lowering
• _is_super_init_call_stmt() : parser.threading_lowering
• _is_testing_framework() : parser.import_resolver
• _is_thread_construction_with_target_kw() : parser.threading_lowering
• _is_thread_constructor() : parser.threading_lowering
• _is_tracked_read() : preprocessor.receiver_classes
• _is_unsupported_module() : parser.import_resolver
• _is_user_decorator() : preprocessor.decorator_lowering
• _is_usub_unaryop() : parser.constant_annotations
• _is_zip_call() : preprocessor.zip_lowering
• _isinstance() : preprocessor.unittest_mixin
• _isinstance_answer() : preprocessor.receiver_classes
• _isinstance_context() : preprocessor.receiver_classes
• _isinstance_receiver() : preprocessor.receiver_classes
• _ITEM : preprocessor.dataclass_mixin
• _iter_same_function_scope() : parser.rewrite_re
• _iter_same_scope() : parser.rewrite_re
• _iter_scope_nodes() : parser.threading_lowering
• _iter_scope_stmt_lists() : parser.threading_lowering
• _ITERABLES : preprocessor.check_type_lowering
• _iterator_classes() : preprocessor.iter_next_lowering
• _itertools_names() : preprocessor.itertools_lowering
• _KEY : preprocessor.dataclass_mixin
• _KNOWN_RETURNS : preprocessor.bound_method_values
• _lanczos_sum() : math
• _list_iterator_class() : preprocessor.iter_next_lowering
• _LN10 : cmath
• _LN2 : cmath
• _local_error() : preprocessor.unbound_locals
• _located() : preprocessor.unbound_locals
• _loop() : preprocessor.zip_lowering
• _LOOPING_SCOPES : preprocessor.itertools_lowering
• _LOOPS : preprocessor.generator_mixin
• _lower() : preprocessor.path_dependent_attributes
• _mark_import_resolution() : parser.import_resolver
• _mark_unmodelled_classes() : parser.import_resolver
• _match_flags() : re
• _MAX_NONDET_BOOL_KEYS : nondet
• _MAX_NONDET_STR_KEYS : nondet
• _meet() : preprocessor.unbound_locals
• _mentioned() : preprocessor.path_dependent_attributes
• _mentions() : preprocessor.zip_lowering
• _method_binding() : preprocessor.bound_method_dispatch
• _MIN_POSITIVE : cmath
• _missing_attributes() : preprocessor.skipped_base_init
• _mixed_groups() : preprocessor.function_value_dispatch
• _MODULE : preprocessor.check_type_lowering
• _module_aliases() : parser.class_collision
• _module_candidates() : preprocessor.unbound_locals
• _module_filename() : parser.import_resolver
• _module_paths() : parser.nested_class_imports
• _mro() : preprocessor.receiver_classes
• _name_bindings() : preprocessor.receiver_classes
• _NAMED_BINDERS : parser.class_collision
• _namedtuple_aliases() : preprocessor.namedtuple_lowering
• _names_bound_by() : preprocessor.namedtuple_lowering
• _names_bound_elsewhere() : preprocessor.unbound_locals
• _names_from() : parser.rewrite_re
• _NEG_I : cmath
• _NESTED : preprocessor.function_value_dispatch
• _NESTED_BODY_FIELDS : parser.rewrite_re
• _NESTED_SCOPES : preprocessor.unbound_locals
• _nested_statement_bodies() : parser.rewrite_re
• _node_bound_names() : parser.json_emitter
• _node_location() : parser.import_resolver
• _non_class_binds() : parser.class_collision
• _nondet_bool_key_bound() : nondet
• _nondet_dict_bool_bool() : nondet
• _nondet_dict_bool_float() : nondet
• _nondet_dict_bool_int() : nondet
• _nondet_dict_bool_str() : nondet
• _nondet_dict_int_bool() : nondet
• _nondet_dict_int_float() : nondet
• _nondet_dict_int_int() : nondet
• _nondet_dict_int_str() : nondet
• _nondet_dict_size() : nondet
• _nondet_dict_str_bool() : nondet
• _nondet_dict_str_float() : nondet
• _nondet_dict_str_int() : nondet
• _nondet_dict_str_str() : nondet
• _nondet_list_bool() : nondet
• _nondet_list_float() : nondet
• _nondet_list_int() : nondet
• _nondet_list_str() : nondet
• _NONDET_PREFIX : preprocessor.function_value_types
• _nondet_size() : nondet
• _nondet_str_key_bound() : nondet
• _norm2() : cmath
• _normalize_existing_path() : parser.import_resolver
• _not() : preprocessor.unittest_mixin
• _NUMERIC : preprocessor.function_value_types
• _NUMERIC_ONLY_OPS : preprocessor.function_value_types
• _only_called_as_method() : preprocessor.class_context_mixin
• _ordered() : preprocessor.sibling_defs
• _outside_names() : preprocessor.receiver_classes
• _own_class_shadows() : parser.class_collision
• _own_expressions() : preprocessor.bound_method_dispatch
• _own_nodes() : preprocessor.function_value_types, preprocessor.receiver_classes
• _own_scope_nodes() : preprocessor.unbound_locals
• _param_annotations() : parser.import_resolver
• _parameters() : preprocessor.receiver_classes
• _parent_map() : parser.threading_lowering
• _parents() : preprocessor.bound_method_values, preprocessor.function_value_dispatch
• _parse() : preprocessor.check_type_lowering
• _passed_on() : preprocessor.bound_method_values
• _plain_arguments() : preprocessor.namedtuple_lowering
• _plain_call() : preprocessor.zip_lowering
• _plain_function() : preprocessor.bound_method_dispatch
• _plain_method() : preprocessor.bound_method_values
• _PREFIX : preprocessor.function_value_dispatch
• _propagate_range_aliases_across_modules() : parser.range_alias_pipeline
• _propagated() : preprocessor.function_value_dispatch
• _qualify_imported_nested_classes() : parser.import_resolver
• _re_call_from_assignment() : parser.rewrite_re
• _RE_ENTRY_FUNCS : parser.rewrite_re
• _RE_HELPER_BY_METHOD : parser.rewrite_re
• _RE_MATCH_METHODS : parser.rewrite_re
• _reachable_otherwise() : preprocessor.path_dependent_attributes
• _read_ast_from_file() : parser.parser_cli
• _read_at_def_time() : preprocessor.sibling_defs
• _read_in_nested_scope() : preprocessor.receiver_classes
• _read_only_as_receiver() : preprocessor.receiver_classes
• _read_sites() : preprocessor.bound_method_values
• _reader() : preprocessor.zip_lowering
• _reads() : parser.class_collision, preprocessor.bound_method_dispatch, preprocessor.sibling_defs
• _reads_now() : preprocessor.module_rewrite_mixin
• _real_acos_unit() : cmath
• _real_acosh_ge1() : cmath
• _real_asin_unit() : cmath
• _real_log_positive() : cmath
• _rebind() : preprocessor.decorator_lowering
• _rebinds() : preprocessor.function_value_dispatch
• _rebound_on_spine() : preprocessor.receiver_classes
• _receiver_classes() : preprocessor.receiver_classes
• _receivers() : preprocessor.bound_method_values
• _reexport_imports() : parser.import_resolver
• _reexport_origin() : parser.import_resolver
• _referenced_names() : preprocessor.module_rewrite_mixin
• _references_into() : parser.import_resolver
• _REFLECTIVE : preprocessor.function_value_dispatch
• _REFLECTIVE_ATTRS : preprocessor.function_value_dispatch
• _refuse() : preprocessor.coroutine_lowering, preprocessor.decorator_lowering, preprocessor.namedtuple_lowering
• _refuse_later_decorators() : preprocessor.decorator_lowering
• _refuse_local_decorators() : preprocessor.decorator_lowering
• _refuse_nested_decorators() : preprocessor.decorator_lowering
• _refuse_when_run() : preprocessor.bound_method_dispatch
• _reject_unencodable_string_constants() : parser.json_emitter
• _REJECTION_EXIT : parser.parser
• _rejection_location() : parser.parser
• _rename_references() : parser.class_collision
• _rename_shadowed_classes() : preprocessor.module_rewrite_mixin
• _reordered() : preprocessor.sibling_defs
• _repeat_operands() : preprocessor.itertools_lowering
• _request_type_specializations() : parser.import_resolver
• _request_vararg_specializations() : parser.import_resolver
• _resolve_main() : parser.__main__
• _resolver_error() : parser.import_resolver
• _resolver_warning() : parser.import_resolver
• _RETURN : preprocessor.function_value_dispatch
• _return_types() : preprocessor.bound_method_dispatch
• _returned_class() : preprocessor.namedtuple_lowering
• _returns() : preprocessor.namedtuple_lowering
• _returns_lambda() : preprocessor.decorator_lowering
• _rewrite_body_in_place() : parser.threading_lowering
• _rewrite_construction_stmt() : parser.threading_lowering
• _rewrite_importer() : parser.class_collision
• _rewrite_re_calls_in_body() : parser.rewrite_re
• _rewrite_re_calls_in_node() : parser.rewrite_re
• _run_cli() : parser.parser
• _run_mypy_module() : parser.typecheck
• _runs_call() : preprocessor.class_context_mixin
• _safe_acosh_arg() : cmath
• _safe_positive() : cmath
• _safe_renames() : parser.nested_class_imports
• _safe_sqrt_nonnegative() : cmath
• _scope_blocks() : preprocessor.receiver_classes
• _scope_bodies() : parser.threading_lowering
• _scope_name_assign_counts() : parser.threading_lowering
• _SCOPE_NODES : parser.threading_lowering
• _scope_nodes() : preprocessor.bound_method_dispatch, preprocessor.check_type_lowering, preprocessor.iter_next_lowering, preprocessor.receiver_classes
• _scope_receivers() : preprocessor.receiver_classes
• _SCOPES : preprocessor.iter_next_lowering, preprocessor.path_dependent_attributes, preprocessor.unittest_mixin
• _scopes() : preprocessor.path_dependent_attributes
• _search_flags() : re
• _self_stores() : preprocessor.skipped_base_init
• _separate_colliding_classes() : parser.import_resolver
• _set() : preprocessor.path_dependent_attributes
• _SHOWN : preprocessor.function_value_types
• _siftdown() : heapq
• _siftup() : heapq
• _sign() : cmath
• _SIMPLE_BINDINGS : preprocessor.bound_method_dispatch
• _SIMPLE_STATEMENTS : preprocessor.itertools_lowering
• _single_assignment() : preprocessor.iter_next_lowering
• _single_class() : preprocessor.receiver_classes
• _SITE : preprocessor.function_value_dispatch
• _snapshot_exports() : parser.range_alias_pipeline
• _sole_def() : preprocessor.function_value_dispatch
• _span() : re
• _spell_nonfinite() : parser.constant_annotations
• _spine_construction() : preprocessor.receiver_classes
• _starred_arity_error() : builtins
• _statement_lists() : preprocessor.zip_lowering
• _static_classes() : preprocessor.receiver_classes
• _store_target() : preprocessor.path_dependent_attributes
• _stored_attributes() : parser.nested_class_imports
• _strip_thread_inheritance() : parser.threading_lowering
• _SUBJECT_PREFIX : preprocessor.match_lowering
• _supported_call() : preprocessor.path_dependent_attributes
• _tag_bignum_constants() : parser.constant_annotations
• _tag_nonfinite_floats() : parser.constant_annotations
• _takes_positional() : preprocessor.function_value_dispatch
• _target_name_chain() : parser.threading_lowering
• _target_names() : preprocessor.unbound_locals
• _test() : preprocessor.match_lowering
• _thread_call_keywords() : parser.threading_lowering
• _thread_method_receiver() : parser.threading_lowering
• _try_rewrite_statement() : parser.threading_lowering
• _typed_equal() : preprocessor.unittest_mixin
• _unconditional_reads() : preprocessor.unbound_locals
• _UNCOPYABLE : preprocessor.function_value_dispatch
• _unmodelled_import_bindings() : parser.import_resolver
• _unsupported() : preprocessor.check_type_lowering
• _untracked_names() : preprocessor.unbound_locals
• _uses() : preprocessor.iter_next_lowering
• _uses_by_attribute() : preprocessor.path_dependent_attributes
• _valid_fields() : preprocessor.namedtuple_lowering
• _VALUE : preprocessor.dataclass_mixin
• _WALK : preprocessor.dataclass_mixin
• _walk_target_names() : parser.rewrite_re
• _warn_if_cycle() : parser.import_resolver
• _warn_module_file_not_found() : parser.import_resolver
• _warn_resolution_failure() : parser.import_resolver
• _warn_unmodelled_module() : parser.import_resolver
• _without_intrinsic_diagnostics() : parser.typecheck
• _zip_binding() : preprocessor.zip_lowering
• _zip_build() : preprocessor.zip_lowering