FC transitive types added

2021-12-03 01:13:49 +01:00 · 2021-12-03 01:13:49 +01:00 · 92ef0f4991
commit 92ef0f4991
parent 0467bec4b3
1 changed files with 1 additions and 2 deletions
--- a/src/main/scala/hb/dhbw/FiniteClosure.scala
+++ b/src/main/scala/hb/dhbw/FiniteClosure.scala
@ -20,8 +20,7 @@ class FiniteClosure(val extendsRelations : Set[(UnifyRefType, UnifyRefType)]){
  }
  private def transitiveTypes(of: Set[(UnifyRefType, UnifyRefType)]) ={
    val ref = Set.newBuilder[(UnifyRefType, UnifyRefType)]
-    ref ++= of.map(pair => (pair._1, pair._1))
-    ref ++= of.map(pair => (pair._2, pair._2))
+    ref ++= of.flatMap(pair => of.filter(p =>  p._1.eq(pair._2)))
    ref.result()
  }
  private def superClassTypes(of: UnifyRefType) = {