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

Fix LogicalPredicate: wrong implementation mapping

This commit is contained in:
Fedor Isakov 2024-09-20 18:15:50 +02:00
parent 75fe179fd1
commit 0f5389b689
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
coderules/languages/jetbrains.mps.lang.coderules/runtime/models/jetbrains.mps.lang.coderules.predicate.mps
View File

@ -7972,7 +7972,7 @@
<property role="1sVAO0" value="false" />
<node concept="2tJIrI" id="5$WbtTOYpQU" role="jymVt" />
<node concept="2YIFZL" id="5uFPQ7CiPYx" role="jymVt">
<property role="TrG5h" value="BOUND" />
<property role="TrG5h" value="NONFREE" />
<node concept="37vLTG" id="5uFPQ7CiQiV" role="3clF46">
<property role="TrG5h" value="logical" />
<node concept="3uibUv" id="5uFPQ7CiQmW" role="1tU5fm">
@ -8121,8 +8121,8 @@
<node concept="3clFbS" id="7lt0LtQvKM3" role="3clF47">
<node concept="3clFbF" id="7lt0LtQvOjC" role="3cqZAp">
<node concept="2ShNRf" id="7lt0LtQvOjA" role="3clFbG">
<node concept="HV5vD" id="7lt0LtQvOv1" role="2ShVmc">
<ref role="HV5vE" node="7ISVfSJ1oi" resolve="LogicalPredicate.LogicalSolver.Free" />
<node concept="HV5vD" id="1bodCZ_ccF9" role="2ShVmc">
<ref role="HV5vE" node="7ISVfSJ0DF" resolve="LogicalPredicate.LogicalSolver.Bound" />
</node>
</node>
</node>
@ -8146,7 +8146,7 @@
<node concept="3clFbS" id="7lt0LtQvKMc" role="3clF47">
<node concept="3clFbF" id="7lt0LtQvMF1" role="3cqZAp">
<node concept="1rXfSq" id="7lt0LtQvMF0" role="3clFbG">
<ref role="37wK5l" node="5uFPQ7CiQEd" resolve="FREE" />
<ref role="37wK5l" node="5uFPQ7CiPYx" resolve="NONFREE" />
<node concept="AH0OO" id="7lt0LtQvMNf" role="37wK5m">
<node concept="3cmrfG" id="7lt0LtQvMUX" role="AHEQo">
<property role="3cmrfH" value="0" />
@ -8194,7 +8194,7 @@
<node concept="3clFbF" id="7lt0LtQvQBk" role="3cqZAp">
<node concept="2ShNRf" id="7lt0LtQvQBi" role="3clFbG">
<node concept="HV5vD" id="7lt0LtQvQMH" role="2ShVmc">
<ref role="HV5vE" node="7ISVfSJ0DF" resolve="LogicalPredicate.LogicalSolver.Bound" />
<ref role="HV5vE" node="7ISVfSJ1oi" resolve="Free" />
</node>
</node>
</node>
@ -8218,7 +8218,7 @@
<node concept="3clFbS" id="7lt0LtQvPGP" role="3clF47">
<node concept="3clFbF" id="7lt0LtQvQPy" role="3cqZAp">
<node concept="1rXfSq" id="7lt0LtQvQPx" role="3clFbG">
<ref role="37wK5l" node="5uFPQ7CiPYx" resolve="BOUND" />
<ref role="37wK5l" node="5uFPQ7CiQEd" resolve="FREE" />
<node concept="AH0OO" id="7lt0LtQvR0y" role="37wK5m">
<node concept="3cmrfG" id="7lt0LtQvR54" role="AHEQo">
<property role="3cmrfH" value="0" />