From d2a7db8a16bcc97a720a3721a1888c59e80f2f34 Mon Sep 17 00:00:00 2001
From: Ian Valentin Christensen <valentianchristensen@gmail.com>
Date: Tue, 29 Apr 2025 12:52:55 +0200
Subject: fix brutally embarassing errorsAnd typos
---
src/dk.biks.bachelorizer/dk/biks/bachelorizer/Graph.java | 7 ++++---
1 file changed, 4 insertions(+), 3 deletions(-)
(limited to 'src')
diff --git a/src/dk.biks.bachelorizer/dk/biks/bachelorizer/Graph.java b/src/dk.biks.bachelorizer/dk/biks/bachelorizer/Graph.java
index 9d8e12f..8782569 100644
--- a/src/dk.biks.bachelorizer/dk/biks/bachelorizer/Graph.java
+++ b/src/dk.biks.bachelorizer/dk/biks/bachelorizer/Graph.java
@@ -7,6 +7,8 @@ import java.util.ArrayList;
import java.util.Collection;
import java.util.Collections;
import java.util.HashSet;
+import java.util.HashMap;
+import java.util.Map;
import java.util.List;
import java.util.Set;
import java.util.stream.Collectors;
@@ -219,15 +221,14 @@ public final class Graph {
final ArrayList<Set<Vertex>> sets, final AbstractGraph g
) {
AbstractGraph h = new AdjListGraph();
- Map<Set<Vertex>, String> label = new Map<>();
+ Map<Set<Vertex>, String> label = new HashMap<>();
for (Set<Vertex> groupSet : sets) {
// canonical string name - strings sortes alphabetically
String name = groupSet.stream()
.map(Vertex::toString)
.sorted() // avoid differently sorted duplicates
- .collect(Collecters.joining(",", "{", "}"));
+ .collect(Collectors.joining(",", "{", "}"));
label.put(groupSet, name);
- h.insertVertex(name);
}
for (Set<Vertex> s: sets) {
--
cgit v1.2.3