Commit 7e6ac675 authored by André Pacak's avatar André Pacak

replace matching premises with inlined judgment

parent 1e34f75c
......@@ -3802,6 +3802,20 @@
</node>
</node>
</node>
<node concept="13i0hz" id="1s4iOmJtbQc" role="13h7CS">
<property role="13i0iv" value="true" />
<property role="13i0it" value="true" />
<property role="TrG5h" value="isSameInstanceType" />
<node concept="3Tm1VV" id="1s4iOmJtbQd" role="1B3o_S" />
<node concept="10P_77" id="1s4iOmJtbSX" role="3clF45" />
<node concept="3clFbS" id="1s4iOmJtbQf" role="3clF47" />
<node concept="37vLTG" id="1s4iOmJtbUq" role="3clF46">
<property role="TrG5h" value="other" />
<node concept="3Tqbb2" id="1s4iOmJtbUp" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12fwJB" resolve="JudgmentInstance" />
</node>
</node>
</node>
</node>
<node concept="13h7C7" id="2loaFuj7SR5">
<property role="3GE5qa" value="judgment" />
......@@ -5262,6 +5276,53 @@
<ref role="ehGHo" to="b83y:2_58u12fwJB" resolve="JudgmentInstance" />
</node>
</node>
<node concept="13i0hz" id="1s4iOmJtdgf" role="13h7CS">
<property role="TrG5h" value="isSameInstanceType" />
<ref role="13i0hy" node="1s4iOmJtbQc" resolve="isSameInstanceType" />
<node concept="3Tm1VV" id="1s4iOmJtdgg" role="1B3o_S" />
<node concept="3clFbS" id="1s4iOmJtdgl" role="3clF47">
<node concept="Jncv_" id="1s4iOmJtdEB" role="3cqZAp">
<ref role="JncvD" to="b83y:677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
<node concept="37vLTw" id="1s4iOmJtdFq" role="JncvB">
<ref role="3cqZAo" node="1s4iOmJtdgm" resolve="other" />
</node>
<node concept="3clFbS" id="1s4iOmJtdEF" role="Jncv$">
<node concept="3cpWs6" id="1s4iOmJtge_" role="3cqZAp">
<node concept="3clFbC" id="1s4iOmJth74" role="3cqZAk">
<node concept="2OqwBi" id="1s4iOmJthyQ" role="3uHU7w">
<node concept="Jnkvi" id="1s4iOmJthhY" role="2Oq$k0">
<ref role="1M0zk5" node="1s4iOmJtdEH" resolve="otherWD" />
</node>
<node concept="2qgKlT" id="1s4iOmJtjL6" role="2OqNvi">
<ref role="37wK5l" node="iMPJyMM1Nb" resolve="getJudgment" />
</node>
</node>
<node concept="2OqwBi" id="1s4iOmJtgpr" role="3uHU7B">
<node concept="13iPFW" id="1s4iOmJtgeW" role="2Oq$k0" />
<node concept="2qgKlT" id="1s4iOmJtgPm" role="2OqNvi">
<ref role="37wK5l" node="iMPJyMM1Nb" resolve="getJudgment" />
</node>
</node>
</node>
</node>
</node>
<node concept="JncvC" id="1s4iOmJtdEH" role="JncvA">
<property role="TrG5h" value="otherWD" />
<node concept="2jxLKc" id="1s4iOmJtdEI" role="1tU5fm" />
</node>
</node>
<node concept="3cpWs6" id="1s4iOmJtdDA" role="3cqZAp">
<node concept="3clFbT" id="1s4iOmJtdDV" role="3cqZAk" />
</node>
</node>
<node concept="37vLTG" id="1s4iOmJtdgm" role="3clF46">
<property role="TrG5h" value="other" />
<node concept="3Tqbb2" id="1s4iOmJtdgn" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12fwJB" resolve="JudgmentInstance" />
</node>
</node>
<node concept="10P_77" id="1s4iOmJtdgo" role="3clF45" />
</node>
<node concept="13hLZK" id="677Mj2_EQAm" role="13h7CW">
<node concept="3clFbS" id="677Mj2_EQAn" role="2VODD2" />
</node>
......@@ -5389,6 +5450,32 @@
<ref role="ehGHo" to="b83y:2_58u12fwJB" resolve="JudgmentInstance" />
</node>
</node>
<node concept="13i0hz" id="1s4iOmJtlHh" role="13h7CS">
<property role="TrG5h" value="isSameInstanceType" />
<ref role="13i0hy" node="1s4iOmJtbQc" resolve="isSameInstanceType" />
<node concept="3Tm1VV" id="1s4iOmJtlHi" role="1B3o_S" />
<node concept="3clFbS" id="1s4iOmJtlHn" role="3clF47">
<node concept="3cpWs6" id="1s4iOmJtlTh" role="3cqZAp">
<node concept="2OqwBi" id="1s4iOmJtlTi" role="3cqZAk">
<node concept="37vLTw" id="1s4iOmJtlTj" role="2Oq$k0">
<ref role="3cqZAo" node="1s4iOmJtlHo" resolve="other" />
</node>
<node concept="1mIQ4w" id="1s4iOmJtlTk" role="2OqNvi">
<node concept="chp4Y" id="1s4iOmJtlVU" role="cj9EA">
<ref role="cht4Q" to="b83y:2_58u12uQ7H" resolve="JudgmentInstanceNeq" />
</node>
</node>
</node>
</node>
</node>
<node concept="37vLTG" id="1s4iOmJtlHo" role="3clF46">
<property role="TrG5h" value="other" />
<node concept="3Tqbb2" id="1s4iOmJtlHp" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12fwJB" resolve="JudgmentInstance" />
</node>
</node>
<node concept="10P_77" id="1s4iOmJtlHq" role="3clF45" />
</node>
</node>
<node concept="13h7C7" id="5YqjVV7sR97">
<property role="3GE5qa" value="judgment" />
......@@ -5513,6 +5600,32 @@
<ref role="ehGHo" to="b83y:2_58u12fwJB" resolve="JudgmentInstance" />
</node>
</node>
<node concept="13i0hz" id="1s4iOmJtk6z" role="13h7CS">
<property role="TrG5h" value="isSameInstanceType" />
<ref role="13i0hy" node="1s4iOmJtbQc" resolve="isSameInstanceType" />
<node concept="3Tm1VV" id="1s4iOmJtk6$" role="1B3o_S" />
<node concept="3clFbS" id="1s4iOmJtk6D" role="3clF47">
<node concept="3cpWs6" id="1s4iOmJtkn_" role="3cqZAp">
<node concept="2OqwBi" id="1s4iOmJtkEH" role="3cqZAk">
<node concept="37vLTw" id="1s4iOmJtkxm" role="2Oq$k0">
<ref role="3cqZAo" node="1s4iOmJtk6E" resolve="other" />
</node>
<node concept="1mIQ4w" id="1s4iOmJtl48" role="2OqNvi">
<node concept="chp4Y" id="1s4iOmJtl6u" role="cj9EA">
<ref role="cht4Q" to="b83y:2_58u12t6cc" resolve="JudgmentInstanceEq" />
</node>
</node>
</node>
</node>
</node>
<node concept="37vLTG" id="1s4iOmJtk6E" role="3clF46">
<property role="TrG5h" value="other" />
<node concept="3Tqbb2" id="1s4iOmJtk6F" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12fwJB" resolve="JudgmentInstance" />
</node>
</node>
<node concept="10P_77" id="1s4iOmJtk6G" role="3clF45" />
</node>
</node>
<node concept="13h7C7" id="2groWwXVp9w">
<property role="3GE5qa" value="metaterm" />
......@@ -5858,6 +5971,47 @@
<node concept="3Tqbb2" id="7oauUzu28lF" role="1tU5fm" />
</node>
</node>
<node concept="13i0hz" id="1s4iOmSk85T" role="13h7CS">
<property role="TrG5h" value="getNameOfMetaTermIfAvaiable" />
<node concept="3clFbS" id="1s4iOmS0f_l" role="3clF47">
<node concept="3clFbJ" id="1s4iOmS0f_m" role="3cqZAp">
<node concept="2OqwBi" id="1s4iOmS0f_n" role="3clFbw">
<node concept="13iPFW" id="1s4iOmSk8o5" role="2Oq$k0" />
<node concept="1mIQ4w" id="1s4iOmS0f_p" role="2OqNvi">
<node concept="chp4Y" id="1s4iOmS0f_q" role="cj9EA">
<ref role="cht4Q" to="b83y:5jddR$DhDKJ" resolve="NamedMetaTerm" />
</node>
</node>
</node>
<node concept="3clFbS" id="1s4iOmS0f_r" role="3clFbx">
<node concept="3cpWs6" id="1s4iOmS0f_s" role="3cqZAp">
<node concept="2OqwBi" id="1s4iOmS0f_t" role="3cqZAk">
<node concept="1PxgMI" id="1s4iOmS0f_u" role="2Oq$k0">
<node concept="chp4Y" id="1s4iOmS0f_v" role="3oSUPX">
<ref role="cht4Q" to="b83y:5jddR$DhDKJ" resolve="NamedMetaTerm" />
</node>
<node concept="13iPFW" id="1s4iOmSk8rL" role="1m5AlR" />
</node>
<node concept="3TrEf2" id="1s4iOmS0f_x" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:5jddR$Dk5XW" resolve="var" />
</node>
</node>
</node>
</node>
<node concept="9aQIb" id="1s4iOmS0f_y" role="9aQIa">
<node concept="3clFbS" id="1s4iOmS0f_z" role="9aQI4">
<node concept="3cpWs6" id="1s4iOmS0f_$" role="3cqZAp">
<node concept="13iPFW" id="1s4iOmSk8y0" role="3cqZAk" />
</node>
</node>
</node>
</node>
</node>
<node concept="3Tqbb2" id="1s4iOmS0f_A" role="3clF45">
<ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
</node>
<node concept="3Tm1VV" id="1s4iOmSk8gk" role="1B3o_S" />
</node>
</node>
<node concept="13h7C7" id="2groWwXVpfK">
<property role="3GE5qa" value="metaterm" />
......@@ -8419,6 +8573,35 @@
</node>
</node>
</node>
<node concept="3clFbJ" id="1s4iOmIYVcQ" role="3cqZAp">
<node concept="3clFbS" id="1s4iOmIYVcS" role="3clFbx">
<node concept="3cpWs6" id="1s4iOmJ1p8V" role="3cqZAp">
<node concept="3clFbT" id="1s4iOmJ1p9l" role="3cqZAk" />
</node>
</node>
<node concept="3y3z36" id="1s4iOmIZ466" role="3clFbw">
<node concept="2OqwBi" id="1s4iOmJ0P6K" role="3uHU7w">
<node concept="2OqwBi" id="1s4iOmIZ4ti" role="2Oq$k0">
<node concept="Jnkvi" id="1s4iOmIZ49P" role="2Oq$k0">
<ref role="1M0zk5" node="7oauUzu2HRY" resolve="otherNodeMeta" />
</node>
<node concept="3Tsc0h" id="1s4iOmIZtQd" role="2OqNvi">
<ref role="3TtcxE" to="b83y:7Hs6JnWyxNE" resolve="bindings" />
</node>
</node>
<node concept="34oBXx" id="1s4iOmJ1oKK" role="2OqNvi" />
</node>
<node concept="2OqwBi" id="1s4iOmIYY29" role="3uHU7B">
<node concept="2OqwBi" id="1s4iOmIYVKc" role="2Oq$k0">
<node concept="13iPFW" id="1s4iOmIYVzP" role="2Oq$k0" />
<node concept="3Tsc0h" id="1s4iOmIYW1Y" role="2OqNvi">
<ref role="3TtcxE" to="b83y:7Hs6JnWyxNE" resolve="bindings" />
</node>
</node>
<node concept="34oBXx" id="1s4iOmIZ1pV" role="2OqNvi" />
</node>
</node>
</node>
<node concept="1Dw8fO" id="7oauUzu3A6w" role="3cqZAp">
<node concept="3clFbS" id="7oauUzu3A6y" role="2LFqv$">
<node concept="3cpWs8" id="7oauUzu58v$" role="3cqZAp">
......@@ -11216,6 +11399,32 @@
<ref role="ehGHo" to="b83y:2_58u12fwJB" resolve="JudgmentInstance" />
</node>
</node>
<node concept="13i0hz" id="1s4iOmJtliE" role="13h7CS">
<property role="TrG5h" value="isSameInstanceType" />
<ref role="13i0hy" node="1s4iOmJtbQc" resolve="isSameInstanceType" />
<node concept="3Tm1VV" id="1s4iOmJtliF" role="1B3o_S" />
<node concept="3clFbS" id="1s4iOmJtliK" role="3clF47">
<node concept="3cpWs6" id="1s4iOmJtltB" role="3cqZAp">
<node concept="2OqwBi" id="1s4iOmJtltC" role="3cqZAk">
<node concept="37vLTw" id="1s4iOmJtltD" role="2Oq$k0">
<ref role="3cqZAo" node="1s4iOmJtliL" resolve="other" />
</node>
<node concept="1mIQ4w" id="1s4iOmJtltE" role="2OqNvi">
<node concept="chp4Y" id="1s4iOmJtlwg" role="cj9EA">
<ref role="cht4Q" to="b83y:2U2uJPpPnWW" resolve="JudgmentInstanceMatch" />
</node>
</node>
</node>
</node>
</node>
<node concept="37vLTG" id="1s4iOmJtliL" role="3clF46">
<property role="TrG5h" value="other" />
<node concept="3Tqbb2" id="1s4iOmJtliM" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12fwJB" resolve="JudgmentInstance" />
</node>
</node>
<node concept="10P_77" id="1s4iOmJtliN" role="3clF45" />
</node>
</node>
</model>
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment