1 files changed, 8 insertions, 36 deletions

diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/typehierarchy/TypeInfo.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/typehierarchy/TypeInfo.java
index 9f897e46..e6bdaff2 100644
--- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/typehierarchy/TypeInfo.java
+++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/typehierarchy/TypeInfo.java
@@ -9,43 +9,15 @@ import tools.refinery.store.reasoning.representation.PartialRelation;
 
 import java.util.*;
 
-public record TypeInfo(Collection<PartialRelation> supertypes, boolean abstractType) {
-        public static Builder builder() {
-                return new Builder();
+public record TypeInfo(Set<PartialRelation> supertypes, boolean abstractType) {
+        public TypeInfo(Collection<PartialRelation> supertypes, boolean abstractType) {
+                this(Set.copyOf(supertypes), abstractType);
         }
 
-        public static class Builder {
-                private final Set<PartialRelation> supertypes = new LinkedHashSet<>();
-                private boolean abstractType;
-
-                private Builder() {
-                }
-
-                public Builder supertypes(Collection<PartialRelation> supertypes) {
-                        this.supertypes.addAll(supertypes);
-                        return this;
-                }
-
-                public Builder supertypes(PartialRelation... supertypes) {
-                        return supertypes(List.of(supertypes));
-                }
-
-                public Builder supertype(PartialRelation supertype) {
-                        supertypes.add(supertype);
-                        return this;
-                }
-
-                public Builder abstractType(boolean abstractType) {
-                        this.abstractType = abstractType;
-                        return this;
-                }
-
-                public Builder abstractType() {
-                        return abstractType(true);
-                }
-
-                public TypeInfo build() {
-                        return new TypeInfo(Collections.unmodifiableSet(supertypes), abstractType);
-                }
+        public TypeInfo addSupertype(PartialRelation newSupertype) {
+                var newSupertypes = new ArrayList<PartialRelation>(supertypes.size() + 1);
+                newSupertypes.addAll(supertypes);
+                newSupertypes.add(newSupertype);
+                return new TypeInfo(newSupertypes, abstractType);
         }
 }