preprocessor.loop_mixin.LoopMixin Member List

This is the complete list of members for preprocessor.loop_mixin.LoopMixin, including all inherited members.

_any_ann(self)	preprocessor.loop_mixin.LoopMixin	protected
_body_destructures_name(body, name)	preprocessor.loop_mixin.LoopMixin	protectedstatic
_can_safely_unroll_list_literal_for(self, node, list_literal)	preprocessor.loop_mixin.LoopMixin	protected
_constructs_iterator_class(self, expr)	preprocessor.loop_mixin.LoopMixin	protected
_copy_location_info(self, source_node, target_node)	preprocessor.loop_mixin.LoopMixin	protected
_count_nested_enumerate_for(self, node, target_info)	preprocessor.loop_mixin.LoopMixin	protected
_create_annotation_from_call(self, call_node)	preprocessor.loop_mixin.LoopMixin	protected
_create_annotation_node_from_value(self, value)	preprocessor.loop_mixin.LoopMixin	protected
_create_dict_annotation(self, dict_node)	preprocessor.loop_mixin.LoopMixin	protected
_create_dict_list_assign(self, node, var_name, dict_node, method, elem_ann)	preprocessor.loop_mixin.LoopMixin	protected
_create_dict_size_assertion(self, node, keys_var, length_var)	preprocessor.loop_mixin.LoopMixin	protected
_create_enumerate_setup_statements(self, node, iterable, start_value, loop_id)	preprocessor.loop_mixin.LoopMixin	protected
_create_enumerate_while_loop(self, node, target_info, loop_id)	preprocessor.loop_mixin.LoopMixin	protected
_create_increment_statements(self, node, loop_id)	preprocessor.loop_mixin.LoopMixin	protected
_create_index_assignment(self, node, index_var="ESBMC_index")	preprocessor.loop_mixin.LoopMixin	protected
_create_index_increment(self, node, index_var="ESBMC_index")	preprocessor.loop_mixin.LoopMixin	protected
_create_individual_assignment(self, target, value, source_node)	preprocessor.loop_mixin.LoopMixin	protected
_create_iter_assignment(self, node, annotation_id, iter_var_name, element_type, full_element_ann=None)	preprocessor.loop_mixin.LoopMixin	protected
_create_length_assignment(self, node, iter_var_name, length_var="ESBMC_length")	preprocessor.loop_mixin.LoopMixin	protected
_create_list_annotation(self, list_node)	preprocessor.loop_mixin.LoopMixin	protected
_create_loop_body(self, node, target_var_name, iter_var_name, index_var, element_type, full_element_ann=None)	preprocessor.loop_mixin.LoopMixin	protected
_create_single_var_loop_body(self, node, target_info, loop_id)	preprocessor.loop_mixin.LoopMixin	protected
_create_subscript_annotation(self, subscript_node)	preprocessor.loop_mixin.LoopMixin	protected
_create_unpacking_loop_body(self, node, target_info, loop_id)	preprocessor.loop_mixin.LoopMixin	protected
_create_var_subscript_assign(self, node, var_name, list_var, index_var, elem_ann)	preprocessor.loop_mixin.LoopMixin	protected
_create_while_condition(self, node, index_var="ESBMC_index", length_var="ESBMC_length")	preprocessor.loop_mixin.LoopMixin	protected
_DEFAULT_NONDET_COLLECTION_SIZE	preprocessor.loop_mixin.LoopMixin	protectedstatic
_defaultdict_factory	preprocessor.loop_mixin.LoopMixin	protectedstatic
_defaultdict_key_signature(key_node)	preprocessor.loop_mixin.LoopMixin	protectedstatic
_emit_items_unpack(self, node, body, target_elt, list_var, index_var, elem_ann)	preprocessor.loop_mixin.LoopMixin	protected
_for_else_counter	preprocessor.loop_mixin.LoopMixin	protected
_forget_literals_changed_in_loop(self, loop)	preprocessor.loop_mixin.LoopMixin	protected
_full_tuple_annotation_node(self, iterable_node)	preprocessor.loop_mixin.LoopMixin	protected
_get_base_type_name(self, ann_node)	preprocessor.loop_mixin.LoopMixin	protected
_get_defaultdict_factory(self, call_node)	preprocessor.loop_mixin.LoopMixin	protected
_get_dict_kv_types(self, dict_var_name)	preprocessor.loop_mixin.LoopMixin	protected
_get_kv_types_from_attribute(self, attr_node)	preprocessor.loop_mixin.LoopMixin	protected
_get_kv_types_from_call(self, call_node)	preprocessor.loop_mixin.LoopMixin	protected
_get_kv_types_from_subscript(self, subscript_node)	preprocessor.loop_mixin.LoopMixin	protected
_handle_tuple_unpacking(self, target, value, source_node)	preprocessor.loop_mixin.LoopMixin	protected
_has_heterogeneous_keys(self, dict_node)	preprocessor.loop_mixin.LoopMixin	protected
_has_heterogeneous_values(self, dict_node)	preprocessor.loop_mixin.LoopMixin	protected
_infer_constant_type(self, node)	preprocessor.loop_mixin.LoopMixin	protected
_infer_dict_key_type(self, key_node)	preprocessor.loop_mixin.LoopMixin	protected
_infer_dict_value_annotation(self, value_node)	preprocessor.loop_mixin.LoopMixin	protected
_infer_type_from_call(self, call_node)	preprocessor.loop_mixin.LoopMixin	protected
_infer_type_from_constant(self, constant_node)	preprocessor.loop_mixin.LoopMixin	protected
_infer_type_from_value(self, value)	preprocessor.loop_mixin.LoopMixin	protected
_is_concrete_tuple_ann(self, ann_node)	preprocessor.loop_mixin.LoopMixin	protected
_is_constant_element	preprocessor.loop_mixin.LoopMixin	protected
_is_constant_element(elt)	preprocessor.loop_mixin.LoopMixin	protectedstatic
_is_defaultdict_call(self, call_node)	preprocessor.loop_mixin.LoopMixin	protected
_is_defaultdict_key_initialized(self, dict_name, key_node)	preprocessor.loop_mixin.LoopMixin	protected
_is_enumerate_preannotation_candidate(node)	preprocessor.loop_mixin.LoopMixin	protectedstatic
_is_filter_call(it)	preprocessor.loop_mixin.LoopMixin	protectedstatic
_is_nditer_call(self, expr)	preprocessor.loop_mixin.LoopMixin	protected
_is_nondet_generator(self, node)	preprocessor.loop_mixin.LoopMixin	protected
_is_nullary_lambda(ast.AST node)	preprocessor.loop_mixin.LoopMixin	protectedstatic
_is_reversed_call(it)	preprocessor.loop_mixin.LoopMixin	protectedstatic
_is_reversed_range_call(self, iter_node)	preprocessor.loop_mixin.LoopMixin	protected
_is_user_nondet_generator(self, node)	preprocessor.loop_mixin.LoopMixin	protected
_is_zip_call(it)	preprocessor.loop_mixin.LoopMixin	protectedstatic
_key_used_as_subscript(self, var_name, body)	preprocessor.loop_mixin.LoopMixin	protected
_kv_types_from_annotation(self, annotation)	preprocessor.loop_mixin.LoopMixin	protected
_literal_tuple_annotation_node(self, iterable_node)	preprocessor.loop_mixin.LoopMixin	protected
_lower_defaultdict_reads_in_expr(self, expr, template)	preprocessor.loop_mixin.LoopMixin	protected
_lower_for_else(self, node)	preprocessor.loop_mixin.LoopMixin	protected
_lower_iterator_protocol_for(self, node)	preprocessor.loop_mixin.LoopMixin	protected
_lower_nditer_for(self, node)	preprocessor.loop_mixin.LoopMixin	protected
_make_defaultdict_missing_check(self, dict_name, key_node, factory_node, template)	preprocessor.loop_mixin.LoopMixin	protected
_make_index_step(self, node, index_var, step)	preprocessor.loop_mixin.LoopMixin	protected
_make_target_assign(self, node, target, iter_var_name, index_var, element_type)	preprocessor.loop_mixin.LoopMixin	protected
_materialize_for_iter(self, node, seq, loop_id, suffix="")	preprocessor.loop_mixin.LoopMixin	protected
_name_id_or_none(ast.AST node)	preprocessor.loop_mixin.LoopMixin	protectedstatic
_nditer_source(self, expr)	preprocessor.loop_mixin.LoopMixin	protected
_nested_enumerate_source(self, node, arity)	preprocessor.loop_mixin.LoopMixin	protected
_next_unpack_tmp_id(self)	preprocessor.loop_mixin.LoopMixin	protected
_nondet_builder_annotation(func_name)	preprocessor.loop_mixin.LoopMixin	protectedstatic
_nondet_builder_call(builder, max_size_node)	preprocessor.loop_mixin.LoopMixin	protectedstatic
_nondet_callee_name(self, node)	preprocessor.loop_mixin.LoopMixin	protected
_nondet_collection_keywords(call, func_name)	preprocessor.loop_mixin.LoopMixin	protectedstatic
_NONDET_DICT_KEY_TYPES	preprocessor.loop_mixin.LoopMixin	protectedstatic
_NONDET_DICT_VALUE_TYPES	preprocessor.loop_mixin.LoopMixin	protectedstatic
_nondet_generator_type(self, node)	preprocessor.loop_mixin.LoopMixin	protected
_nondet_list_builder(self, elem_node, resolve)	preprocessor.loop_mixin.LoopMixin	protected
_NONDET_LIST_ELEM_TYPES	preprocessor.loop_mixin.LoopMixin	protectedstatic
_NONDET_SCALAR_SUFFIXES	preprocessor.loop_mixin.LoopMixin	protectedstatic
_parse_enumerate_arguments(self, enumerate_call, node)	preprocessor.loop_mixin.LoopMixin	protected
_parse_enumerate_target(self, target)	preprocessor.loop_mixin.LoopMixin	protected
_parse_nondet_collection_call(self, call)	preprocessor.loop_mixin.LoopMixin	protected
_pre_annotate_enumerate_loop_vars(self, node)	preprocessor.loop_mixin.LoopMixin	protected
_pre_annotate_items_loop_vars(self, node)	preprocessor.loop_mixin.LoopMixin	protected
_record_defaultdict_key_initialized(self, dict_name, key_node)	preprocessor.loop_mixin.LoopMixin	protected
_record_nditer_with_targets(self, node)	preprocessor.loop_mixin.LoopMixin	protected
_reject_unsupported_loop(self, node, message)	preprocessor.loop_mixin.LoopMixin	protected
_resolve_nondet_type(self, node, allowed, func_name, role)	preprocessor.loop_mixin.LoopMixin	protected
_rewrite_nondet_collection_call(self, call)	preprocessor.loop_mixin.LoopMixin	protected
_SIZABLE_TUPLE_MEMBER_TYPES	preprocessor.loop_mixin.LoopMixin	protectedstatic
_static_int_value(expr)	preprocessor.loop_mixin.LoopMixin	protectedstatic
_transform_enumerate_for(self, node)	preprocessor.loop_mixin.LoopMixin	protected
_transform_filter_for(self, node)	preprocessor.loop_mixin.LoopMixin	protected
_transform_het_dict_for(self, node)	preprocessor.loop_mixin.LoopMixin	protected
_transform_het_values_for(self, node, dict_node)	preprocessor.loop_mixin.LoopMixin	protected
_transform_items_for(self, node)	preprocessor.loop_mixin.LoopMixin	protected
_transform_iterable_for(self, node)	preprocessor.loop_mixin.LoopMixin	protected
_transform_original_body(self, node)	preprocessor.loop_mixin.LoopMixin	protected
_transform_range_for(self, node)	preprocessor.loop_mixin.LoopMixin	protected
_transform_reversed_for(self, node)	preprocessor.loop_mixin.LoopMixin	protected
_transform_reversed_range(self, reversed_call)	preprocessor.loop_mixin.LoopMixin	protected
_transform_zip_for(self, node)	preprocessor.loop_mixin.LoopMixin	protected
_tuple_literal_enumerate_source(self, node)	preprocessor.loop_mixin.LoopMixin	protected
_unpack_tmp_counter	preprocessor.loop_mixin.LoopMixin	protected
_unroll_enumerate_over_tuples(self, node, target_info, literal, start)	preprocessor.loop_mixin.LoopMixin	protected
_unroll_het_for(self, node, typed_elts)	preprocessor.loop_mixin.LoopMixin	protected
_unroll_list_literal_for(self, node, list_literal)	preprocessor.loop_mixin.LoopMixin	protected
_unroll_nested_enumerate_for(self, node, target_info)	preprocessor.loop_mixin.LoopMixin	protected
_unwrap_nditer_iter(self, expr)	preprocessor.loop_mixin.LoopMixin	protected
_update_variable_types_simple(self, target, value)	preprocessor.loop_mixin.LoopMixin	protected
_uses_string_subscript(self, var_name, body)	preprocessor.loop_mixin.LoopMixin	protected
_validate_enumerate_call(self, enumerate_call)	preprocessor.loop_mixin.LoopMixin	protected
_validate_start_value(self, start_value)	preprocessor.loop_mixin.LoopMixin	protected
_value_used_in_float_arith(self, var_name, body)	preprocessor.loop_mixin.LoopMixin	protected
_visit_for_inner(self, node)	preprocessor.loop_mixin.LoopMixin	protected
class_attr_annotations	preprocessor.loop_mixin.LoopMixin	static
current_start_var	preprocessor.loop_mixin.LoopMixin
dataclasses_module_names	preprocessor.loop_mixin.LoopMixin	static
dict_items_vars	preprocessor.loop_mixin.LoopMixin	static
function_return_annotations	preprocessor.loop_mixin.LoopMixin	static
generator_funcs	preprocessor.loop_mixin.LoopMixin
generator_vars	preprocessor.loop_mixin.LoopMixin
helper_functions_added	preprocessor.loop_mixin.LoopMixin
het_dict_literals	preprocessor.loop_mixin.LoopMixin	static
het_value_dict_literals	preprocessor.loop_mixin.LoopMixin	static
imported_module_names	preprocessor.loop_mixin.LoopMixin
instance_class_map	preprocessor.loop_mixin.LoopMixin	static
is_range_loop	preprocessor.loop_mixin.LoopMixin
iterator_classes	preprocessor.loop_mixin.LoopMixin
iterator_params	preprocessor.loop_mixin.LoopMixin
known_variable_types	preprocessor.loop_mixin.LoopMixin	static
module_name	preprocessor.loop_mixin.LoopMixin
new	preprocessor.loop_mixin.LoopMixin
numpy_module_names	preprocessor.loop_mixin.LoopMixin
old	preprocessor.loop_mixin.LoopMixin
shadowed_nondet_collections	preprocessor.loop_mixin.LoopMixin
target_name	preprocessor.loop_mixin.LoopMixin
variable_annotations	preprocessor.loop_mixin.LoopMixin	static
visit_AsyncWith	preprocessor.loop_mixin.LoopMixin	static
visit_For(self, node)	preprocessor.loop_mixin.LoopMixin
visit_Name(self, node)	preprocessor.loop_mixin.LoopMixin
visit_With(self, node)	preprocessor.loop_mixin.LoopMixin