From c37f8f82ebf96963e7fb5719ccf96b5f55cdac31 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Fri, 9 Apr 2021 10:34:50 +0200 Subject: [PATCH] Minor optimization: rely on variable count when mapping terms --- .../jetbrains.mps.logic.unification.mps | 98 ++++++++++++++----- 1 file changed, 74 insertions(+), 24 deletions(-) diff --git a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.unification.mps b/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.unification.mps index 02a8b3e5..c5fcdb07 100644 --- a/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.unification.mps +++ b/coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.unification.mps @@ -2259,25 +2259,52 @@ - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + - - - + + + + + + + + + + + + + + + + + + + + @@ -2440,6 +2467,37 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -2481,17 +2539,9 @@ - - - - - - - - - - - + + +