natas_hw
/
mps-coderules
mirror of https://github.com/JetBrains/mps-coderules
0
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Minor optimization: rely on variable count when mapping terms

This commit is contained in:
Fedor Isakov 2021-04-09 10:34:50 +02:00
parent 384fc5dce8
commit c37f8f82eb
1 changed files with 74 additions and 24 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

98
coderules/languages/jetbrains.mps.logic/runtime/models/jetbrains.mps.logic.unification.mps
View File

@ -2259,25 +2259,52 @@
<property role="DiZV1" value="false" />
<property role="od$2w" value="false" />
<node concept="3clFbS" id="4TCblo5NkoL" role="3clF47">
<node concept="3clFbF" id="4TCblo5NkJr" role="3cqZAp">
<node concept="2OqwBi" id="4TCblo5Nl4W" role="3clFbG">
<node concept="2YIFZM" id="4TCblo5NkK4" role="2Oq$k0">
<ref role="37wK5l" to="6exd:5s497VqteR6" resolve="mapper" />
<ref role="1Pybhc" to="6exd:3OPtF02T8yx" resolve="Mappers" />
<node concept="2ShNRf" id="4TCblo5NkKU" role="37wK5m">
<node concept="1pGfFk" id="4TCblo5Nl1t" role="2ShVmc">
<ref role="37wK5l" node="4TCblo5MHYk" resolve="LogicalUtil.InstantiateDelegate" />
<node concept="37vLTw" id="4TCblo5Nl3R" role="37wK5m">
<ref role="3cqZAo" node="4TCblo5NkwR" resolve="logicalContext" />
<node concept="3clFbJ" id="2gPa6JIiSlh" role="3cqZAp">
<node concept="3clFbS" id="2gPa6JIiSlj" role="3clFbx">
<node concept="3cpWs6" id="2gPa6JIiUjP" role="3cqZAp">
<node concept="2OqwBi" id="2gPa6JIiUjQ" role="3cqZAk">
<node concept="2YIFZM" id="2gPa6JIiUjR" role="2Oq$k0">
<ref role="37wK5l" to="6exd:5s497VqteR6" resolve="mapper" />
<ref role="1Pybhc" to="6exd:3OPtF02T8yx" resolve="Mappers" />
<node concept="2ShNRf" id="2gPa6JIiUjS" role="37wK5m">
<node concept="1pGfFk" id="2gPa6JIiUjT" role="2ShVmc">
<ref role="37wK5l" node="4TCblo5MHYk" resolve="LogicalUtil.InstantiateDelegate" />
<node concept="37vLTw" id="2gPa6JIiUjU" role="37wK5m">
<ref role="3cqZAo" node="4TCblo5NkwR" resolve="logicalContext" />
</node>
</node>
</node>
</node>
<node concept="liA8E" id="2gPa6JIiUjV" role="2OqNvi">
<ref role="37wK5l" to="6exd:3OPtF02TgQt" resolve="map" />
<node concept="37vLTw" id="2gPa6JIiUjW" role="37wK5m">
<ref role="3cqZAo" node="4TCblo5NkAJ" resolve="tf" />
</node>
</node>
</node>
</node>
<node concept="liA8E" id="4TCblo5Nl7d" role="2OqNvi">
<ref role="37wK5l" to="6exd:3OPtF02TgQt" resolve="map" />
<node concept="37vLTw" id="4TCblo5Nl9o" role="37wK5m">
<node concept="3clFbH" id="2gPa6JIiSli" role="3cqZAp" />
</node>
<node concept="3eOSWO" id="2gPa6JIiU3I" role="3clFbw">
<node concept="3cmrfG" id="2gPa6JIiUaJ" role="3uHU7w">
<property role="3cmrfH" value="0" />
</node>
<node concept="2OqwBi" id="2gPa6JIiSWq" role="3uHU7B">
<node concept="37vLTw" id="2gPa6JIiSqL" role="2Oq$k0">
<ref role="3cqZAo" node="4TCblo5NkAJ" resolve="tf" />
</node>
<node concept="liA8E" id="2gPa6JIiTha" role="2OqNvi">
<ref role="37wK5l" to="6exd:5BGv8yzvvIZ" resolve="variablesCount" />
</node>
</node>
</node>
<node concept="9aQIb" id="2gPa6JIiUKV" role="9aQIa">
<node concept="3clFbS" id="2gPa6JIiUKW" role="9aQI4">
<node concept="3cpWs6" id="2gPa6JIiUQI" role="3cqZAp">
<node concept="37vLTw" id="2gPa6JIiUXN" role="3cqZAk">
<ref role="3cqZAo" node="4TCblo5NkAJ" resolve="tf" />
</node>
</node>
</node>
</node>
</node>
@ -2440,6 +2467,37 @@
<node concept="3clFbH" id="3gNap3fZcIL" role="3cqZAp" />
</node>
</node>
<node concept="3eNFk2" id="2gPa6JIiM2j" role="3eNLev">
<node concept="3eOSWO" id="2gPa6JIiQxn" role="3eO9$A">
<node concept="3cmrfG" id="2gPa6JIiQJC" role="3uHU7w">
<property role="3cmrfH" value="0" />
</node>
<node concept="2OqwBi" id="2gPa6JIiP70" role="3uHU7B">
<node concept="37vLTw" id="2gPa6JIiOCx" role="2Oq$k0">
<ref role="3cqZAo" node="6HT7BWBPa9P" resolve="tf" />
</node>
<node concept="liA8E" id="2gPa6JIiPBg" role="2OqNvi">
<ref role="37wK5l" to="6exd:5BGv8yzvvIZ" resolve="variablesCount" />
</node>
</node>
</node>
<node concept="3clFbS" id="2gPa6JIiM2l" role="3eOfB_">
<node concept="3cpWs6" id="5BGv8yzxpdJ" role="3cqZAp">
<node concept="2OqwBi" id="5BGv8yzxl7m" role="3cqZAk">
<node concept="37vLTw" id="5BGv8yzxkWc" role="2Oq$k0">
<ref role="3cqZAo" node="6HT7BWBPa9P" resolve="tf" />
</node>
<node concept="liA8E" id="5BGv8yzxlnb" role="2OqNvi">
<ref role="37wK5l" to="6exd:3OPtF02Tjpr" resolve="mapRecursively" />
<node concept="37vLTw" id="5BGv8yzxlyp" role="37wK5m">
<ref role="3cqZAo" node="6HT7BWBPa9R" resolve="fallback" />
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="2gPa6JIiOrI" role="3cqZAp" />
</node>
</node>
<node concept="3clFbS" id="5BGv8yzxmXS" role="3clFbx">
<node concept="3cpWs6" id="3gNap3fZcTi" role="3cqZAp">
<node concept="1rXfSq" id="3gNap3fZcU4" role="3cqZAk">
@ -2481,17 +2539,9 @@
</node>
<node concept="9aQIb" id="5BGv8yzxoqo" role="9aQIa">
<node concept="3clFbS" id="5BGv8yzxoqp" role="9aQI4">
<node concept="3cpWs6" id="5BGv8yzxpdJ" role="3cqZAp">
<node concept="2OqwBi" id="5BGv8yzxl7m" role="3cqZAk">
<node concept="37vLTw" id="5BGv8yzxkWc" role="2Oq$k0">
<ref role="3cqZAo" node="6HT7BWBPa9P" resolve="tf" />
</node>
<node concept="liA8E" id="5BGv8yzxlnb" role="2OqNvi">
<ref role="37wK5l" to="6exd:3OPtF02Tjpr" resolve="mapRecursively" />
<node concept="37vLTw" id="5BGv8yzxlyp" role="37wK5m">
<ref role="3cqZAo" node="6HT7BWBPa9R" resolve="fallback" />
</node>
</node>
<node concept="3cpWs6" id="2gPa6JIiRMi" role="3cqZAp">
<node concept="37vLTw" id="2gPa6JIiRZy" role="3cqZAk">
<ref role="3cqZAo" node="6HT7BWBPa9P" resolve="tf" />
</node>
</node>
</node>