Commit 227a5751 authored by André Pacak's avatar André Pacak

different implementation of Unifier which is more general. Rename before...

different implementation of Unifier which is more general. Rename before unifing to avoid same names during unification
parent e3bcb6ad
......@@ -3816,6 +3816,73 @@
</node>
</node>
</node>
<node concept="13i0hz" id="2LROe3D3BJA" role="13h7CS">
<property role="TrG5h" value="replace" />
<node concept="3Tm1VV" id="2LROe3D3BJB" role="1B3o_S" />
<node concept="3clFbS" id="2LROe3D3BJC" role="3clF47">
<node concept="3cpWs8" id="2LROe3D3BJD" role="3cqZAp">
<node concept="3cpWsn" id="2LROe3D3BJE" role="3cpWs9">
<property role="TrG5h" value="replacedArgs" />
<node concept="2I9FWS" id="2LROe3D3BJF" role="1tU5fm">
<ref role="2I9WkF" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
</node>
<node concept="2OqwBi" id="2LROe3D3BJG" role="33vP2m">
<node concept="2OqwBi" id="2LROe3D3BJH" role="2Oq$k0">
<node concept="BsUDl" id="2LROe3D3BJI" role="2Oq$k0">
<ref role="37wK5l" node="5YqjVV7s$$Q" resolve="getArguments" />
</node>
<node concept="3$u5V9" id="2LROe3D3BJJ" role="2OqNvi">
<node concept="1bVj0M" id="2LROe3D3BJK" role="23t8la">
<node concept="3clFbS" id="2LROe3D3BJL" role="1bW5cS">
<node concept="3clFbF" id="2LROe3D3BJM" role="3cqZAp">
<node concept="2OqwBi" id="2LROe3D3BJN" role="3clFbG">
<node concept="37vLTw" id="2LROe3D3BJO" role="2Oq$k0">
<ref role="3cqZAo" node="2LROe3D3BJR" resolve="it" />
</node>
<node concept="2qgKlT" id="2LROe3D3BJP" role="2OqNvi">
<ref role="37wK5l" node="6faGdFAG3Vr" resolve="replace" />
<node concept="37vLTw" id="2LROe3D3BJQ" role="37wK5m">
<ref role="3cqZAo" node="2LROe3D3BJX" resolve="replacement" />
</node>
</node>
</node>
</node>
</node>
<node concept="Rh6nW" id="2LROe3D3BJR" role="1bW2Oz">
<property role="TrG5h" value="it" />
<node concept="2jxLKc" id="2LROe3D3BJS" role="1tU5fm" />
</node>
</node>
</node>
</node>
<node concept="ANE8D" id="2LROe3D3BJT" role="2OqNvi" />
</node>
</node>
</node>
<node concept="3clFbF" id="2LROe3D3BJU" role="3cqZAp">
<node concept="BsUDl" id="2LROe3D3BJV" role="3clFbG">
<ref role="37wK5l" node="6faGdFABR2I" resolve="createNew" />
<node concept="37vLTw" id="2LROe3D3BJW" role="37wK5m">
<ref role="3cqZAo" node="2LROe3D3BJE" resolve="replacedArgs" />
</node>
</node>
</node>
</node>
<node concept="37vLTG" id="2LROe3D3BJX" role="3clF46">
<property role="TrG5h" value="replacement" />
<node concept="3rvAFt" id="2LROe3D3BJY" role="1tU5fm">
<node concept="3Tqbb2" id="2LROe3D3BJZ" role="3rvQeY">
<ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
</node>
<node concept="3Tqbb2" id="2LROe3D3BK0" role="3rvSg0">
<ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
</node>
</node>
</node>
<node concept="3Tqbb2" id="2LROe3D3BK1" role="3clF45">
<ref role="ehGHo" to="b83y:2_58u12fwJB" resolve="JudgmentInstance" />
</node>
</node>
</node>
<node concept="13h7C7" id="2loaFuj7SR5">
<property role="3GE5qa" value="judgment" />
......@@ -6977,7 +7044,12 @@
</node>
<node concept="2qgKlT" id="6zl6AUlk7ea" role="2OqNvi">
<ref role="37wK5l" node="7oauUzu23iX" resolve="equals" />
<node concept="13iPFW" id="6zl6AUlk7eb" role="37wK5m" />
<node concept="2OqwBi" id="4RJOVfRnbff" role="37wK5m">
<node concept="13iPFW" id="6zl6AUlk7eb" role="2Oq$k0" />
<node concept="3TrEf2" id="4RJOVfRnbCl" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:5jddR$Dk5XW" resolve="var" />
</node>
</node>
</node>
</node>
</node>
......@@ -6994,7 +7066,7 @@
<node concept="3clFbJ" id="6zl6AUlk7ee" role="3cqZAp">
<node concept="3clFbS" id="6zl6AUlk7ef" role="3clFbx">
<node concept="3cpWs6" id="6zl6AUlk7eg" role="3cqZAp">
<node concept="2OqwBi" id="6zl6AUlk7eh" role="3cqZAk">
<node concept="2OqwBi" id="7uRNcpKE$LX" role="3cqZAk">
<node concept="2OqwBi" id="6zl6AUlk7ei" role="2Oq$k0">
<node concept="2OqwBi" id="6zl6AUlk7ej" role="2Oq$k0">
<node concept="37vLTw" id="6zl6AUlk7ek" role="2Oq$k0">
......@@ -7013,7 +7085,12 @@
</node>
<node concept="2qgKlT" id="6zl6AUlk7et" role="2OqNvi">
<ref role="37wK5l" node="7oauUzu23iX" resolve="equals" />
<node concept="13iPFW" id="6zl6AUlk7eu" role="37wK5m" />
<node concept="2OqwBi" id="4RJOVfRnc3k" role="37wK5m">
<node concept="13iPFW" id="6zl6AUlk7eu" role="2Oq$k0" />
<node concept="3TrEf2" id="4RJOVfRnd3$" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:5jddR$Dk5XW" resolve="var" />
</node>
</node>
</node>
</node>
</node>
......@@ -7027,7 +7104,12 @@
</node>
<node concept="3AV6Ez" id="6zl6AUlk7ex" role="2OqNvi" />
</node>
<node concept="1$rogu" id="6zl6AUlk7ey" role="2OqNvi" />
<node concept="2qgKlT" id="7uRNcpKEKzP" role="2OqNvi">
<ref role="37wK5l" node="6faGdFAG3Vr" resolve="replace" />
<node concept="37vLTw" id="7uRNcpKELgv" role="37wK5m">
<ref role="3cqZAo" node="6faGdFAIp07" resolve="replaceRule" />
</node>
</node>
</node>
</node>
</node>
......@@ -7035,7 +7117,7 @@
<ref role="3cqZAo" node="6zl6AUlk7dY" resolve="containsKey" />
</node>
</node>
<node concept="3clFbH" id="6zl6AUlk$hr" role="3cqZAp" />
<node concept="3clFbH" id="7uRNcpKEMPK" role="3cqZAp" />
<node concept="3cpWs8" id="6faGdFAIqET" role="3cqZAp">
<node concept="3cpWsn" id="6faGdFAIqEU" role="3cpWs9">
<property role="TrG5h" value="newMetaVar" />
......@@ -8143,6 +8225,102 @@
</node>
</node>
</node>
<node concept="13i0hz" id="2LROe3D3CVG" role="13h7CS">
<property role="TrG5h" value="replace" />
<node concept="3Tm1VV" id="2LROe3D3CVH" role="1B3o_S" />
<node concept="3Tqbb2" id="2LROe3D3D0O" role="3clF45">
<ref role="ehGHo" to="b83y:2_58u12eCWN" resolve="Rule" />
</node>
<node concept="3clFbS" id="2LROe3D3CVJ" role="3clF47">
<node concept="3cpWs6" id="2LROe3D3D4H" role="3cqZAp">
<node concept="2pJPEk" id="2LROe3D3D57" role="3cqZAk">
<node concept="2pJPED" id="2LROe3D3D7p" role="2pJPEn">
<ref role="2pJxaS" to="b83y:2_58u12eCWN" resolve="Rule" />
<node concept="2pJxcG" id="2LROe3D3D7I" role="2pJxcM">
<ref role="2pJxcJ" to="tpck:h0TrG11" resolve="name" />
<node concept="2OqwBi" id="2LROe3D3Djz" role="2pJxcZ">
<node concept="13iPFW" id="2LROe3D3D88" role="2Oq$k0" />
<node concept="3TrcHB" id="2LROe3D3DDV" role="2OqNvi">
<ref role="3TsBF5" to="tpck:h0TrG11" resolve="name" />
</node>
</node>
</node>
<node concept="2pIpSj" id="2LROe3D3DJL" role="2pJxcM">
<ref role="2pIpSl" to="b83y:2_58u12eCWO" resolve="premises" />
<node concept="36biLy" id="2LROe3D3DMW" role="2pJxcZ">
<node concept="2OqwBi" id="2LROe3D3Fv8" role="36biLW">
<node concept="2OqwBi" id="2LROe3D3DYN" role="2Oq$k0">
<node concept="13iPFW" id="2LROe3D3DNi" role="2Oq$k0" />
<node concept="3Tsc0h" id="2LROe3D3EiG" role="2OqNvi">
<ref role="3TtcxE" to="b83y:2_58u12eCWO" resolve="premises" />
</node>
</node>
<node concept="3$u5V9" id="2LROe3D3HZL" role="2OqNvi">
<node concept="1bVj0M" id="2LROe3D3HZN" role="23t8la">
<node concept="3clFbS" id="2LROe3D3HZO" role="1bW5cS">
<node concept="3clFbF" id="2LROe3D3I6p" role="3cqZAp">
<node concept="2OqwBi" id="2LROe3D3IfX" role="3clFbG">
<node concept="37vLTw" id="2LROe3D3I6o" role="2Oq$k0">
<ref role="3cqZAo" node="2LROe3D3HZP" resolve="it" />
</node>
<node concept="2qgKlT" id="2LROe3D3JxA" role="2OqNvi">
<ref role="37wK5l" node="2LROe3D3BJA" resolve="replace" />
<node concept="37vLTw" id="2LROe3D3JFm" role="37wK5m">
<ref role="3cqZAo" node="2LROe3D3D1r" resolve="replacement" />
</node>
</node>
</node>
</node>
</node>
<node concept="Rh6nW" id="2LROe3D3HZP" role="1bW2Oz">
<property role="TrG5h" value="it" />
<node concept="2jxLKc" id="2LROe3D3HZQ" role="1tU5fm" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="2pIpSj" id="2LROe3D3JZZ" role="2pJxcM">
<ref role="2pIpSl" to="b83y:2_58u12eCXl" resolve="conclusion" />
<node concept="36biLy" id="2LROe3D3Kaw" role="2pJxcZ">
<node concept="1PxgMI" id="2LROe3D3Mpf" role="36biLW">
<node concept="chp4Y" id="2LROe3D3PdG" role="3oSUPX">
<ref role="cht4Q" to="b83y:677Mj2_ELav" resolve="JudgmentInstanceWithDeclaration" />
</node>
<node concept="2OqwBi" id="2LROe3D3L8U" role="1m5AlR">
<node concept="2OqwBi" id="2LROe3D3Kmi" role="2Oq$k0">
<node concept="13iPFW" id="2LROe3D3KaP" role="2Oq$k0" />
<node concept="3TrEf2" id="2LROe3D3KR1" role="2OqNvi">
<ref role="3Tt5mk" to="b83y:2_58u12eCXl" resolve="conclusion" />
</node>
</node>
<node concept="2qgKlT" id="2LROe3D3LOQ" role="2OqNvi">
<ref role="37wK5l" node="2LROe3D3BJA" resolve="replace" />
<node concept="37vLTw" id="2LROe3D3LYJ" role="37wK5m">
<ref role="3cqZAo" node="2LROe3D3D1r" resolve="replacement" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="37vLTG" id="2LROe3D3D1r" role="3clF46">
<property role="TrG5h" value="replacement" />
<node concept="3rvAFt" id="2LROe3D3D1o" role="1tU5fm">
<node concept="3Tqbb2" id="2LROe3D3D3_" role="3rvQeY">
<ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
</node>
<node concept="3Tqbb2" id="2LROe3D3D49" role="3rvSg0">
<ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
</node>
</node>
</node>
</node>
<node concept="13hLZK" id="2groWwXYoO$" role="13h7CW">
<node concept="3clFbS" id="2groWwXYoO_" role="2VODD2" />
</node>
......
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