From 49c1a316c3fc143aa18ccc4798ae4e3807f39527 Mon Sep 17 00:00:00 2001 From: breandan Date: Tue, 27 Feb 2024 18:28:34 -0500 Subject: [PATCH] nominalization was necessary after all --- .../kotlin/ai/hypergraph/kaliningraph/automata/Nominal.kt | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/commonMain/kotlin/ai/hypergraph/kaliningraph/automata/Nominal.kt b/src/commonMain/kotlin/ai/hypergraph/kaliningraph/automata/Nominal.kt index 7c8123dc..741ec185 100644 --- 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 =