nominalization was necessary after all

breandan · Feb 27, 2024 · 49c1a31 · 49c1a31
1 parent e17357c
commit 49c1a31
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/commonMain/kotlin/ai/hypergraph/kaliningraph/automata/Nominal.kt b/src/commonMain/kotlin/ai/hypergraph/kaliningraph/automata/Nominal.kt
@@ -23,8 +23,7 @@ class NOM(override val Q: TSA, override val init: Set<Σᐩ>, override val final
   }
 
   val flattenedTriples by lazy {
-    Q.map { (a, _, c) -> a to { _: Σᐩ -> true } to c }.toSet()
-//    Q.map { (a, b, c) -> a to b.predicate() to c }.toSet()
+    Q.map { (a, b, c) -> a to b.predicate() to c }.toSet()
   }
 
   override fun recognizes(str: List<Σᐩ>): Boolean =