Index

_

__add__() (Deck method) (Grade method) (Lines method) __contains__() (Activity method) __delattr__() (Node method) (Tail method) __eq__() (Assign method) (BinaryOperation method), [1] (Call method), [1] (Constant method), [1] (CupCircle method) (Deck method) (Image method) (Node method) (Program method) (ReversibleLinkedList method) (ShipPosition method) (Tail method) (Tile method) (Token method), [1] (UnaryOperation method), [1] (Variable method), [1] __ge__() (ReversibleLinkedList method) __getitem__() (BinRanges method) (Deck method) (HistogramOfDeltas method) (Lines method) (Point method) (TokensWoWhitespace method), [1] (ValidTileText method) __gt__() (ReversibleLinkedList method) __init__() (Assign method) (BinaryOperation method), [1], [2] (BinOpInfo method), [1] (Block method) (Call method), [1], [2] (Cell method) (Const method) (Constant method), [1] (Cup method) (CupCircle method) (Cursor method) (Customer method) (Deck method) (Entry method), [1] (Flight method) (Grading method) (Histogram method) (Image method) (Layout method) (LinkedList method) (Load method) (Mask method) (Memory method) (Node method), [1] (NodeLiteral method) (NodeOr method) (NodeReference method) (NodeSequence method) (Position method) (Program method), [1] (Range method) (ReversibleLinkedList method) (Rule method) (RuleLiteral method) (RuleOr method) (RuleParsing method) (RuleSequence method) (ShipPosition method) (Specs method) (Split method) (Stats method) (Store method) (Tail method) (Tile method) (Token method), [1] (TokenizationRule method), [1] (UnaryOperation method), [1], [2] (Variable method), [1] (WordOccurrence method) (Write method)

__invariants__ (ReversibleLinkedList attribute) __iter__() (Activity method) (BinRanges method) (Deck method) (HistogramOfDeltas method) (Lines method) (TokensWoWhitespace method), [1] (ValidTileText method) __le__() (Grade method) (ReversibleLinkedList method) (WordOccurrence method) __len__() (Activity method) (BinRanges method) (CupCircle method) (Deck method) (HistogramOfDeltas method) (Lines method) (TokensWoWhitespace method), [1] (ValidTileText method) __lt__() (ReversibleLinkedList method) (WordOccurrence method) __ne__() (ReversibleLinkedList method) __new__() (Activity static method) (BinRanges static method) (Grade static method) (HistogramOfDeltas static method) (Identifier static method), [1], [2] (IngredientLine static method) (Lines static method) (Measurement static method) (Point static method) (Probability static method) (Token static method) (TokensWoWhitespace static method), [1] (ValidTileText static method) __repr__() (Assign method) (BinaryOperation method), [1], [2] (Call method), [1], [2] (Const method) (Constant method), [1] (CupCircle method) (Deck method) (Entry method) (Expr method) (Image method) (Load method) (Node method), [1] (Position method) (Program method) (Range method) (ShipPosition method) (Specs method) (Statement method) (Store method) (Tail method) (Tile method) (Token method), [1] (TokenizationRule method), [1] (UnaryOperation method), [1], [2] (Variable method), [1] (WordOccurrence method) __setattr__() (Node method) (Tail method) __str__() (ReversibleLinkedList method)

A

ACC (Operation attribute) Activity (class in python_by_contract_corpus.correct.aoc2020.day_17_conway_cubes) ADD (BinOp attribute), [1] (Operation attribute) add() (Histogram method) add_first() (LinkedList method) (ReversibleLinkedList method) add_last() (LinkedList method) (ReversibleLinkedList method) add_new_cup() (CupCircle method) address (Write attribute) ALL_GRADES (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_11.problem_01) ALL_GRADES_SET (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_11.problem_01) Allergen (class in python_by_contract_corpus.correct.aoc2020.day_21_allergen_assessment)

allergens (Entry attribute) ALLOWED_CHARS (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_02.problem_05_01) applies() (in module python_by_contract_corpus.correct.aoc2020.day_16_ticket_translation) apply() (in module python_by_contract_corpus.correct.aoc2020.day_11_seating_system) (in module python_by_contract_corpus.correct.aoc2020.day_17_conway_cubes) (in module python_by_contract_corpus.correct.aoc2020.day_5_binary_boarding) apply_until_stable() (in module python_by_contract_corpus.correct.aoc2020.day_11_seating_system) approximate_sqrt() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_04.problem_02) are_neighbours() (in module python_by_contract_corpus.correct.aoc2020.day_17_conway_cubes) argument (Instruction attribute) Assign (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_01) ASSIGN (TokenKind attribute) Associativity (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_11.problem_02) (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_01) attempt_add() (Image method)

B

bin_index() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_05.problem_03) BinaryOperation (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_11.problem_02) (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_01) (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_03) BinOp (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_11.problem_02) (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_01)

BinOpInfo (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_11.problem_02) (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_01) BinRanges (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_05.problem_03) blank_line_split() (in module python_by_contract_corpus.correct.aoc2020.day_4_passport_processing) Block (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_09.problem_03) bottom (Tile attribute) BUSINESS (ClassOfFlight attribute)

C

Call (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_11.problem_02) (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_01) (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_03) cards (Deck attribute) Cell (class in python_by_contract_corpus.correct.aoc2020.day_24_lobby_layout) cell_as_tuple() (in module python_by_contract_corpus.correct.aoc2020.day_24_lobby_layout) ClassOfFlight (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_09.problem_03) clear() (LinkedList method) (ReversibleLinkedList method) clearing (Mask attribute) CLOSE (TokenKind attribute), [1] collect_variables() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_11.problem_02) compare_against_interpret() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_03) compile_and_execute() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_03) compile_flight_re() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_09.problem_03) compile_program() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_03) compute() (in module python_by_contract_corpus.correct.aoc2020.day_18_operation_order) (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_03.problem_01) compute_angles() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_06.problem_05) compute_error_rate() (in module python_by_contract_corpus.correct.aoc2020.day_16_ticket_translation) compute_histogram() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_05.problem_03) compute_result() (in module python_by_contract_corpus.correct.aoc2020.day_10_adapter_array) compute_score() (in module python_by_contract_corpus.correct.aoc2020.day_22_crab_combat) compute_stats() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_05.problem_03) compute_totals() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_09.problem_03)

Const (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_03) Constant (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_11.problem_02) (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_01) containers() (in module python_by_contract_corpus.correct.aoc2020.day_7_handy_haversacks) COS (Function attribute) count() (LinkedList method) (ReversibleLinkedList method) count_active() (in module python_by_contract_corpus.correct.aoc2020.day_17_conway_cubes) count_containers() (in module python_by_contract_corpus.correct.aoc2020.day_7_handy_haversacks) count_flips() (in module python_by_contract_corpus.correct.aoc2020.day_24_lobby_layout) count_matching_messages() (in module python_by_contract_corpus.correct.aoc2020.day_19_monster_messages) count_occupied() (in module python_by_contract_corpus.correct.aoc2020.day_11_seating_system) count_trees() (in module python_by_contract_corpus.correct.aoc2020.day_3_toboggan_trajectory) count_valid() (in module python_by_contract_corpus.correct.aoc2020.day_4_passport_processing) counts (Histogram attribute) crab_move() (in module python_by_contract_corpus.correct.aoc2020.day_23_crab_cups) critical() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_11.problem_01) Cup (class in python_by_contract_corpus.correct.aoc2020.day_23_crab_cups) cup_circle_to_str() (in module python_by_contract_corpus.correct.aoc2020.day_23_crab_cups) CupCircle (class in python_by_contract_corpus.correct.aoc2020.day_23_crab_cups) current_cup (CupCircle attribute) Cursor (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_06.problem_04) cursor() (LinkedList method) (ReversibleLinkedList method) Customer (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_08.problem_03)

D

Deck (class in python_by_contract_corpus.correct.aoc2020.day_22_crab_combat) deck1 (Split attribute) deck2 (Split attribute) decode() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_03.problem_04) deduce_encryption_key() (in module python_by_contract_corpus.correct.aoc2020.day_25_combo_breaker) deduce_loop_size() (in module python_by_contract_corpus.correct.aoc2020.day_25_combo_breaker) determine_column() (in module python_by_contract_corpus.correct.aoc2020.day_5_binary_boarding) determine_id() (in module python_by_contract_corpus.correct.aoc2020.day_5_binary_boarding) determine_row() (in module python_by_contract_corpus.correct.aoc2020.day_5_binary_boarding) determine_row_and_column() (in module python_by_contract_corpus.correct.aoc2020.day_5_binary_boarding) DIGITS_RE (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_02.problem_05_02)

digits_to_number() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_04.problem_03) Direction (class in python_by_contract_corpus.correct.aoc2020.day_24_lobby_layout) DIRECTIONS_RE (in module python_by_contract_corpus.correct.aoc2020.day_24_lobby_layout) directly_contains() (in module python_by_contract_corpus.correct.aoc2020.day_7_handy_haversacks) DIV (BinOp attribute), [1] done() (Cursor method) draw() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_02.problem_02) (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_02.problem_03) (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_02.problem_05_01) (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_02.problem_05_02) duration() (Entry method)

E

EAST (Direction attribute) (Orientation attribute) ECONOMY (ClassOfFlight attribute) encode() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_03.problem_04) Entry (class in python_by_contract_corpus.correct.aoc2020.day_21_allergen_assessment) (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_05.problem_04)

evaluate() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_11.problem_02) execute() (in module python_by_contract_corpus.correct.aoc2020.day_14_docking_data) (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_03) execute_instructions() (in module python_by_contract_corpus.correct.aoc2020.day_8_handheld_halting) Expr (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_11.problem_02) (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_01) extract_expression() (in module python_by_contract_corpus.correct.aoc2020.day_18_operation_order)

F

find() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_04.problem_01) find_departure() (in module python_by_contract_corpus.correct.aoc2020.day_13_shuttle_search) find_non_allergenic_ingredients() (in module python_by_contract_corpus.correct.aoc2020.day_21_allergen_assessment) find_pair_with_sum() (in module python_by_contract_corpus.correct.aoc2020.day_1_report_repair) find_summands() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_04.problem_03) find_top() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_04) FIRST (ClassOfFlight attribute)

first (WordOccurrence attribute) Flight (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_09.problem_03) FLIGHT_RE (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_09.problem_03) flip_horizontal() (Tile method) flip_vertical() (Tile method) follow_directions() (in module python_by_contract_corpus.correct.aoc2020.day_24_lobby_layout) FROM_NUMBER (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_03.problem_04) Function (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_01)

G

gcd() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_03.problem_03) get() (LinkedList method) (ReversibleLinkedList method)

Grade (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_11.problem_01) Grading (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_11.problem_01) GRADING_RE (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_11.problem_01)

H

head (Node attribute) height (Layout attribute) Histogram (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_05.problem_03)

histogram_differences() (in module python_by_contract_corpus.correct.aoc2020.day_10_adapter_array) HistogramOfDeltas (class in python_by_contract_corpus.correct.aoc2020.day_10_adapter_array) horizontal (ShipPosition attribute)

I

Identifier (class in python_by_contract_corpus.correct.aoc2020.day_21_allergen_assessment) (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_11.problem_02) (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_01) identifier (NodeReference attribute) (Rule attribute) (RuleParsing attribute) IDENTIFIER_RE (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_11.problem_02) (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_01) Image (class in python_by_contract_corpus.correct.aoc2020.day_20_jurassic_jigsaw) Ingredient (class in python_by_contract_corpus.correct.aoc2020.day_21_allergen_assessment) INGREDIENT_LINE_RE (in module python_by_contract_corpus.correct.aoc2020.day_21_allergen_assessment) IngredientLine (class in python_by_contract_corpus.correct.aoc2020.day_21_allergen_assessment) ingredients (Entry attribute)

initialize_cups() (in module python_by_contract_corpus.correct.aoc2020.day_23_crab_cups) InputLine (class in python_by_contract_corpus.correct.aoc2020.day_3_toboggan_trajectory) Instruction (class in python_by_contract_corpus.correct.aoc2020.day_8_handheld_halting) (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_03) interpret() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_01) interpret_rule_0() (in module python_by_contract_corpus.correct.aoc2020.day_19_monster_messages) invalid_fields() (in module python_by_contract_corpus.correct.aoc2020.day_16_ticket_translation) is_empty() (LinkedList method) (ReversibleLinkedList method) is_last() (Cursor method) is_subsequence() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_08.problem_02) is_valid() (in module python_by_contract_corpus.correct.aoc2020.day_4_passport_processing) items() (Histogram method) iterate() (in module python_by_contract_corpus.correct.aoc2020.day_19_monster_messages)

J

JMP (Operation attribute)

L

label (Cup attribute) last (WordOccurrence attribute) LAST_STEP (in module python_by_contract_corpus.correct.aoc2020.day_15_rambunctious_recitation) Layout (class in python_by_contract_corpus.correct.aoc2020.day_11_seating_system) LEFT (Associativity attribute), [1] left (Tile attribute) Lines (class in python_by_contract_corpus.common) LinkedList (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_06.problem_04)

list_all_invalid_values() (in module python_by_contract_corpus.correct.aoc2020.day_16_ticket_translation) list_neighbourhood() (in module python_by_contract_corpus.correct.aoc2020.day_11_seating_system) (in module python_by_contract_corpus.correct.aoc2020.day_17_conway_cubes) list_next_positions() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_08.problem_05) list_subsequences() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_08.problem_02) literal (NodeLiteral attribute) (RuleLiteral attribute) Load (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_03) longest_booked_room() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_05.problem_04)

M

main() (in module python_by_contract_corpus.correct.aoc2020.day_13_shuttle_search) (in module python_by_contract_corpus.correct.aoc2020.day_20_jurassic_jigsaw) (in module python_by_contract_corpus.correct.aoc2020.day_7_handy_haversacks) Mask (class in python_by_contract_corpus.correct.aoc2020.day_14_docking_data) mask (Program attribute) match() (Rule method) (RuleLiteral method) (RuleOr method) (RuleSequence method) matches() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_08.problem_01) Measurement (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_05.problem_03) Memory (class in python_by_contract_corpus.correct.aoc2020.day_14_docking_data) MINUS (UnOp attribute), [1] module python_by_contract_corpus.common python_by_contract_corpus.correct.aoc2020.day_10_adapter_array python_by_contract_corpus.correct.aoc2020.day_11_seating_system python_by_contract_corpus.correct.aoc2020.day_12_rain_risk python_by_contract_corpus.correct.aoc2020.day_13_shuttle_search python_by_contract_corpus.correct.aoc2020.day_14_docking_data python_by_contract_corpus.correct.aoc2020.day_15_rambunctious_recitation python_by_contract_corpus.correct.aoc2020.day_16_ticket_translation python_by_contract_corpus.correct.aoc2020.day_17_conway_cubes python_by_contract_corpus.correct.aoc2020.day_18_operation_order python_by_contract_corpus.correct.aoc2020.day_19_monster_messages python_by_contract_corpus.correct.aoc2020.day_1_report_repair python_by_contract_corpus.correct.aoc2020.day_20_jurassic_jigsaw python_by_contract_corpus.correct.aoc2020.day_21_allergen_assessment python_by_contract_corpus.correct.aoc2020.day_22_crab_combat python_by_contract_corpus.correct.aoc2020.day_23_crab_cups python_by_contract_corpus.correct.aoc2020.day_24_lobby_layout python_by_contract_corpus.correct.aoc2020.day_25_combo_breaker python_by_contract_corpus.correct.aoc2020.day_2_password_philosophy python_by_contract_corpus.correct.aoc2020.day_3_toboggan_trajectory python_by_contract_corpus.correct.aoc2020.day_4_passport_processing python_by_contract_corpus.correct.aoc2020.day_5_binary_boarding python_by_contract_corpus.correct.aoc2020.day_6_custom_customs python_by_contract_corpus.correct.aoc2020.day_7_handy_haversacks python_by_contract_corpus.correct.aoc2020.day_8_handheld_halting python_by_contract_corpus.correct.aoc2020.day_9_encoding_error python_by_contract_corpus.correct.ethz_eprog_2019.exercise_02.problem_02 python_by_contract_corpus.correct.ethz_eprog_2019.exercise_02.problem_03 python_by_contract_corpus.correct.ethz_eprog_2019.exercise_02.problem_05_01 python_by_contract_corpus.correct.ethz_eprog_2019.exercise_02.problem_05_02 python_by_contract_corpus.correct.ethz_eprog_2019.exercise_03.problem_01 python_by_contract_corpus.correct.ethz_eprog_2019.exercise_03.problem_02 python_by_contract_corpus.correct.ethz_eprog_2019.exercise_03.problem_03 python_by_contract_corpus.correct.ethz_eprog_2019.exercise_03.problem_04 python_by_contract_corpus.correct.ethz_eprog_2019.exercise_04.problem_01 python_by_contract_corpus.correct.ethz_eprog_2019.exercise_04.problem_02 python_by_contract_corpus.correct.ethz_eprog_2019.exercise_04.problem_03 python_by_contract_corpus.correct.ethz_eprog_2019.exercise_05.problem_03 python_by_contract_corpus.correct.ethz_eprog_2019.exercise_05.problem_04 python_by_contract_corpus.correct.ethz_eprog_2019.exercise_06.problem_01 python_by_contract_corpus.correct.ethz_eprog_2019.exercise_06.problem_04 python_by_contract_corpus.correct.ethz_eprog_2019.exercise_06.problem_05 python_by_contract_corpus.correct.ethz_eprog_2019.exercise_07.problem_02 python_by_contract_corpus.correct.ethz_eprog_2019.exercise_07.problem_04 python_by_contract_corpus.correct.ethz_eprog_2019.exercise_08.problem_01 python_by_contract_corpus.correct.ethz_eprog_2019.exercise_08.problem_02 python_by_contract_corpus.correct.ethz_eprog_2019.exercise_08.problem_03 python_by_contract_corpus.correct.ethz_eprog_2019.exercise_08.problem_05 python_by_contract_corpus.correct.ethz_eprog_2019.exercise_09.problem_02 python_by_contract_corpus.correct.ethz_eprog_2019.exercise_09.problem_03 python_by_contract_corpus.correct.ethz_eprog_2019.exercise_09.problem_04 python_by_contract_corpus.correct.ethz_eprog_2019.exercise_11.problem_01 python_by_contract_corpus.correct.ethz_eprog_2019.exercise_11.problem_02 python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_01 python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_03 python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_04

most_booked_room() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_05.problem_04) move() (Cursor method) MUL (BinOp attribute), [1] (Operation attribute)

N

naive_is_prime() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_04.problem_01) next_cell() (in module python_by_contract_corpus.correct.aoc2020.day_24_lobby_layout) next_cup (Cup attribute) next_departure() (in module python_by_contract_corpus.correct.aoc2020.day_13_shuttle_search) Node (class in python_by_contract_corpus.correct.aoc2020.day_18_operation_order) (class in python_by_contract_corpus.correct.aoc2020.day_19_monster_messages) (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_06.problem_04) (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_01) NodeLiteral (class in python_by_contract_corpus.correct.aoc2020.day_19_monster_messages)

NodeOr (class in python_by_contract_corpus.correct.aoc2020.day_19_monster_messages) NodeReference (class in python_by_contract_corpus.correct.aoc2020.day_19_monster_messages) NodeSequence (class in python_by_contract_corpus.correct.aoc2020.day_19_monster_messages) NOP (Operation attribute) NORTH (Orientation attribute) NORTH_EAST (Direction attribute) NORTH_WEST (Direction attribute) NUM (TokenKind attribute), [1] number_to_digits() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_04.problem_03)

O

ONE_DIRECTION_RE (in module python_by_contract_corpus.correct.aoc2020.day_24_lobby_layout) op (Tail attribute) OP (TokenKind attribute), [1] OPEN (TokenKind attribute), [1]

Operation (class in python_by_contract_corpus.correct.aoc2020.day_18_operation_order) (class in python_by_contract_corpus.correct.aoc2020.day_8_handheld_halting) operation (Instruction attribute) Orientation (class in python_by_contract_corpus.correct.aoc2020.day_12_rain_risk) orientation (ShipPosition attribute)

P

pairwise() (in module python_by_contract_corpus.common) parse() (in module python_by_contract_corpus.correct.aoc2020.day_10_adapter_array) (in module python_by_contract_corpus.correct.aoc2020.day_18_operation_order) (in module python_by_contract_corpus.correct.aoc2020.day_8_handheld_halting) (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_09.problem_03) (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_11.problem_01) parse_bagexpr() (in module python_by_contract_corpus.correct.aoc2020.day_7_handy_haversacks) parse_block() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_09.problem_03) parse_ingredient_line() (in module python_by_contract_corpus.correct.aoc2020.day_21_allergen_assessment) parse_initial() (in module python_by_contract_corpus.correct.aoc2020.day_17_conway_cubes) parse_input() (in module python_by_contract_corpus.correct.aoc2020.day_12_rain_risk) (in module python_by_contract_corpus.correct.aoc2020.day_13_shuttle_search) (in module python_by_contract_corpus.correct.aoc2020.day_3_toboggan_trajectory) parse_layout() (in module python_by_contract_corpus.correct.aoc2020.day_11_seating_system) parse_line() (in module python_by_contract_corpus.correct.aoc2020.day_24_lobby_layout) (in module python_by_contract_corpus.correct.aoc2020.day_8_handheld_halting) parse_lines() (in module python_by_contract_corpus.correct.aoc2020.day_14_docking_data) (in module python_by_contract_corpus.correct.aoc2020.day_22_crab_combat) parse_mask() (in module python_by_contract_corpus.correct.aoc2020.day_14_docking_data) parse_nearby_tickets() (in module python_by_contract_corpus.correct.aoc2020.day_16_ticket_translation) parse_passport_entries() (in module python_by_contract_corpus.correct.aoc2020.day_4_passport_processing) parse_program() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_01) parse_rule() (in module python_by_contract_corpus.correct.aoc2020.day_19_monster_messages) (in module python_by_contract_corpus.correct.aoc2020.day_7_handy_haversacks) parse_rules() (in module python_by_contract_corpus.correct.aoc2020.day_16_ticket_translation) (in module python_by_contract_corpus.correct.aoc2020.day_19_monster_messages) (in module python_by_contract_corpus.correct.aoc2020.day_7_handy_haversacks) parse_tile() (in module python_by_contract_corpus.correct.aoc2020.day_20_jurassic_jigsaw) parse_tiles() (in module python_by_contract_corpus.correct.aoc2020.day_20_jurassic_jigsaw) parse_tokens() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_11.problem_02) parse_write() (in module python_by_contract_corpus.correct.aoc2020.day_14_docking_data) PATTERN_RE (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_02.problem_05_02) place_remaining_tiles() (in module python_by_contract_corpus.correct.aoc2020.day_20_jurassic_jigsaw) place_tiles() (in module python_by_contract_corpus.correct.aoc2020.day_20_jurassic_jigsaw) play() (in module python_by_contract_corpus.correct.aoc2020.day_22_crab_combat) play_a_round() (in module python_by_contract_corpus.correct.aoc2020.day_22_crab_combat) Point (class in python_by_contract_corpus.correct.aoc2020.day_17_conway_cubes) pop() (Image method) Position (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_08.problem_05) POW (BinOp attribute), [1] Probability (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_08.problem_03) Program (class in python_by_contract_corpus.correct.aoc2020.day_14_docking_data) (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_01) python_by_contract_corpus.common module python_by_contract_corpus.correct.aoc2020.day_10_adapter_array module python_by_contract_corpus.correct.aoc2020.day_11_seating_system module python_by_contract_corpus.correct.aoc2020.day_12_rain_risk module python_by_contract_corpus.correct.aoc2020.day_13_shuttle_search module python_by_contract_corpus.correct.aoc2020.day_14_docking_data module python_by_contract_corpus.correct.aoc2020.day_15_rambunctious_recitation module python_by_contract_corpus.correct.aoc2020.day_16_ticket_translation module python_by_contract_corpus.correct.aoc2020.day_17_conway_cubes module python_by_contract_corpus.correct.aoc2020.day_18_operation_order module python_by_contract_corpus.correct.aoc2020.day_19_monster_messages module python_by_contract_corpus.correct.aoc2020.day_1_report_repair module python_by_contract_corpus.correct.aoc2020.day_20_jurassic_jigsaw module python_by_contract_corpus.correct.aoc2020.day_21_allergen_assessment module python_by_contract_corpus.correct.aoc2020.day_22_crab_combat module python_by_contract_corpus.correct.aoc2020.day_23_crab_cups module python_by_contract_corpus.correct.aoc2020.day_24_lobby_layout module

python_by_contract_corpus.correct.aoc2020.day_25_combo_breaker module python_by_contract_corpus.correct.aoc2020.day_2_password_philosophy module python_by_contract_corpus.correct.aoc2020.day_3_toboggan_trajectory module python_by_contract_corpus.correct.aoc2020.day_4_passport_processing module python_by_contract_corpus.correct.aoc2020.day_5_binary_boarding module python_by_contract_corpus.correct.aoc2020.day_6_custom_customs module python_by_contract_corpus.correct.aoc2020.day_7_handy_haversacks module python_by_contract_corpus.correct.aoc2020.day_8_handheld_halting module python_by_contract_corpus.correct.aoc2020.day_9_encoding_error module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_02.problem_02 module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_02.problem_03 module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_02.problem_05_01 module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_02.problem_05_02 module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_03.problem_01 module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_03.problem_02 module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_03.problem_03 module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_03.problem_04 module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_04.problem_01 module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_04.problem_02 module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_04.problem_03 module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_05.problem_03 module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_05.problem_04 module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_06.problem_01 module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_06.problem_04 module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_06.problem_05 module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_07.problem_02 module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_07.problem_04 module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_08.problem_01 module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_08.problem_02 module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_08.problem_03 module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_08.problem_05 module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_09.problem_02 module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_09.problem_03 module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_09.problem_04 module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_11.problem_01 module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_11.problem_02 module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_01 module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_03 module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_04 module

R

Range (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_05.problem_03) ranges (Histogram attribute) (Rule attribute) (RuleParsing attribute) references (NodeSequence attribute) remove() (Cursor method) remove_first() (LinkedList method) (ReversibleLinkedList method) remove_last() (LinkedList method) (ReversibleLinkedList method) repr_activity() (in module python_by_contract_corpus.correct.aoc2020.day_17_conway_cubes) repr_binary() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_03.problem_02) repr_layout() (in module python_by_contract_corpus.correct.aoc2020.day_11_seating_system) repr_rule_tree() (in module python_by_contract_corpus.correct.aoc2020.day_19_monster_messages) reverse() (ReversibleLinkedList method)

reverse_side() (in module python_by_contract_corpus.correct.aoc2020.day_20_jurassic_jigsaw) ReversibleLinkedList (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_09.problem_02) RIGHT (Associativity attribute), [1] right (Tail attribute) (Tile attribute) room_with_most_revenue() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_05.problem_04) rotate() (Tile method) Rule (class in python_by_contract_corpus.correct.aoc2020.day_16_ticket_translation) (class in python_by_contract_corpus.correct.aoc2020.day_19_monster_messages) RuleLiteral (class in python_by_contract_corpus.correct.aoc2020.day_19_monster_messages) RuleOr (class in python_by_contract_corpus.correct.aoc2020.day_19_monster_messages) RuleParsing (class in python_by_contract_corpus.correct.aoc2020.day_16_ticket_translation) rules (RuleOr attribute) (RuleSequence attribute) RuleSequence (class in python_by_contract_corpus.correct.aoc2020.day_19_monster_messages)

S

same_order() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_07.problem_02) SEMICOLON (TokenKind attribute) sequences (NodeOr attribute) serialize() (in module python_by_contract_corpus.correct.aoc2020.day_18_operation_order) serialize_entry() (in module python_by_contract_corpus.correct.aoc2020.day_21_allergen_assessment) set() (LinkedList method) (ReversibleLinkedList method) set_value() (Cursor method) setting (Mask attribute) ShipPosition (class in python_by_contract_corpus.correct.aoc2020.day_12_rain_risk) sieve() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_04.problem_01) simulate() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_08.problem_03) (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_08.problem_05) SIN (Function attribute) slots (Memory attribute) solve() (in module python_by_contract_corpus.correct.aoc2020.day_12_rain_risk) (in module python_by_contract_corpus.correct.aoc2020.day_15_rambunctious_recitation) (in module python_by_contract_corpus.correct.aoc2020.day_21_allergen_assessment) (in module python_by_contract_corpus.correct.aoc2020.day_6_custom_customs) (in module python_by_contract_corpus.correct.aoc2020.day_9_encoding_error)

solve_100_steps() (in module python_by_contract_corpus.correct.aoc2020.day_23_crab_cups) SOUTH (Orientation attribute) SOUTH_EAST (Direction attribute) SOUTH_WEST (Direction attribute) Specs (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_08.problem_03) Split (class in python_by_contract_corpus.correct.aoc2020.day_22_crab_combat) split() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_07.problem_02) Statement (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_01) Stats (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_08.problem_03) Store (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_03) STR_TO_CLASS_OF_FLIGHT (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_09.problem_03) stretch() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_08.problem_01) stringify_directions() (in module python_by_contract_corpus.correct.aoc2020.day_24_lobby_layout) SUB (BinOp attribute), [1] sum_grades() (Grading method) sum_memory() (in module python_by_contract_corpus.correct.aoc2020.day_14_docking_data)

T

table (Layout attribute) Tail (class in python_by_contract_corpus.correct.aoc2020.day_18_operation_order) tail (Node attribute) TAN (Function attribute) text (WordOccurrence attribute) Tile (class in python_by_contract_corpus.correct.aoc2020.day_20_jurassic_jigsaw) tiles (Image attribute) time_in_swiss_german() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_06.problem_01) TO_NUMBER (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_03.problem_04) Token (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_11.problem_02) (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_01) (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_04) TOKEN_RE (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_04) TOKENIZATION (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_11.problem_02) (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_01) TOKENIZATION_MAP (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_11.problem_02) (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_01)

TokenizationRule (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_11.problem_02) (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_01) tokenize() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_11.problem_02) (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_01) (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_04) TokenKind (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_11.problem_02) (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_01) tokens_to_text() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_11.problem_02) (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_01) tokens_to_words() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_04) TokensWoWhitespace (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_11.problem_02) (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_01) top (Tile attribute) top() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_11.problem_01) total_revenue() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_05.problem_04) TRAILING_SPACE_RE (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_02.problem_02) transform() (in module python_by_contract_corpus.correct.aoc2020.day_25_combo_breaker) transform_tile() (in module python_by_contract_corpus.correct.aoc2020.day_20_jurassic_jigsaw)

U

UnaryOperation (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_11.problem_02) (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_01) (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_03) UnOp (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_11.problem_02) (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_01)

unparse() (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_11.problem_02) (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_01) update_position() (in module python_by_contract_corpus.correct.aoc2020.day_12_rain_risk)

V

VALID_LETTERS (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_03.problem_04) VALID_SIDE_RE (in module python_by_contract_corpus.correct.aoc2020.day_20_jurassic_jigsaw) ValidTileText (class in python_by_contract_corpus.correct.aoc2020.day_20_jurassic_jigsaw) value (Write attribute) value() (Cursor method) VALUE_TO_DIRECTION (in module python_by_contract_corpus.correct.aoc2020.day_24_lobby_layout) values() (LinkedList method) (ReversibleLinkedList method)

VAR (TokenKind attribute), [1] Variable (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_11.problem_02) (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_01) verify() (in module python_by_contract_corpus.correct.aoc2020.day_2_password_philosophy) verify_line() (in module python_by_contract_corpus.correct.aoc2020.day_2_password_philosophy) vertical (ShipPosition attribute)

W

WEST (Direction attribute) (Orientation attribute) WHITESPACE (TokenKind attribute), [1] width (Image attribute) (Layout attribute)

WORD_RE (in module python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_04) WordOccurrence (class in python_by_contract_corpus.correct.ethz_eprog_2019.exercise_12.problem_04) Write (class in python_by_contract_corpus.correct.aoc2020.day_14_docking_data) writes (Program attribute)

X

x (Cell attribute) (Position attribute)

Y

y (Cell attribute) (Position attribute)

Z

z (Cell attribute)