From b3a6cdf38cd52aaf75654f73a5f9251eb8a3456c Mon Sep 17 00:00:00 2001 From: Alice Date: Fri, 10 Nov 2023 11:55:55 +0000 Subject: [PATCH] vault backup: 2023-11-10 11:55:55 --- .obsidian/workspace.json | 4 ++-- 4a1s/MFES/PL - Aula 7.md | 3 +++ 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index 8cbe7f6..d36240f 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -160,6 +160,8 @@ }, "active": "9853b375f7893cb9", "lastOpenFiles": [ + "4a1s/MFES/PL - Aula 6.md", + "4a1s/MFES/PL - Aula 7.md", "4a1s/DAA/PL - Project.md", "4a1s/DAA/PL - Aula 1.md", "4a1s/ASCN/T - Aula 3.md", @@ -174,8 +176,6 @@ "4a1s/CP/PL - Aula 8.md", "4a1s/RAS/PL - Aula n.md", "4a1s/MFES/PL - Aula 5.md", - "4a1s/MFES/PL - Aula 7.md", - "4a1s/MFES/PL - Aula 6.md", "Excalidraw/Drawing 2023-10-04 12.19.18.excalidraw.md", "Excalidraw/doodles.excalidraw.md", "My Digital Garden.md", diff --git a/4a1s/MFES/PL - Aula 7.md b/4a1s/MFES/PL - Aula 7.md index 3ec13a8..fefefe9 100644 --- a/4a1s/MFES/PL - Aula 7.md +++ b/4a1s/MFES/PL - Aula 7.md @@ -39,6 +39,9 @@ sig Hash {} pred insert[n : Node] { + always n in ( Bucket.head + Bucket.head.prox) + always n in Bucket.head or n in Node.prox + //if hash empty -> node to head of bucket n.key.hash not in Hash implies (