improve online performance (terminals cycle)

FormalLanguageConstrainedPathQuerying · May 31, 2024 · 852f0d6 · 852f0d6
1 parent 4b3f4f4
commit 852f0d6
Showing 1 changed file with 7 additions and 6 deletions.
diff --git a/solver/src/main/kotlin/org/ucfs/intersection/IntersectionEngine.kt b/solver/src/main/kotlin/org/ucfs/intersection/IntersectionEngine.kt
@@ -23,16 +23,17 @@ object IntersectionEngine : IIntersectionEngine {
         val inputPosition = descriptor.inputPosition
         val terminalEdges = rsmState.terminalEdges
         val nonterminalEdges = rsmState.nonterminalEdges
+
         for (inputEdge in gll.ctx.input.getEdges(inputPosition)) {
-            if (inputEdge.label.terminal == null) {
+            val terminal = inputEdge.label.terminal
+            if (terminal == null) {
                 gll.handleTerminalOrEpsilonEdge(descriptor, sppfNode, null, descriptor.rsmState, inputEdge.head, 0)
                 continue
             }
-            for ((edgeTerminal, targetStates) in terminalEdges) {
-                if (inputEdge.label.terminal == edgeTerminal) {
-                    for (target in targetStates) {
-                        gll.handleTerminalOrEpsilonEdge(descriptor, sppfNode, edgeTerminal, target, inputEdge.head, 0)
-                    }
+            val targetStates = terminalEdges[inputEdge.label.terminal]
+            if (targetStates != null) {
+                for (targetState in targetStates) {
+                    gll.handleTerminalOrEpsilonEdge(descriptor, sppfNode, terminal, targetState, inputEdge.head, 0)
                 }
             }
         }