Commit f980c61d authored by André Pacak's avatar André Pacak

use deconstructed context for required

parent 7efc06e0
......@@ -199,16 +199,16 @@
<property role="3SKdUp" value="func: (REF,COMP, PREMISES) =&gt; (COMP, REF)" />
</node>
</node>
<node concept="3SKdUt" id="2groWwY453o" role="3cqZAp">
<node concept="3SKdUq" id="2groWwY4eBq" role="3SKWNk">
<property role="3SKdUp" value="for each x in Ref:" />
</node>
</node>
<node concept="3SKdUt" id="2groWwY4f4i" role="3cqZAp">
<node concept="3SKdUq" id="2groWwY4f4k" role="3SKWNk">
<property role="3SKdUp" value="search premises.head for computation that has x as output =&gt; insert computation c to COMP" />
</node>
</node>
<node concept="3SKdUt" id="2groWwY453o" role="3cqZAp">
<node concept="3SKdUq" id="2groWwY4eBq" role="3SKWNk">
<property role="3SKdUp" value="for each x in Ref:" />
</node>
</node>
<node concept="3SKdUt" id="2groWwY4j2T" role="3cqZAp">
<node concept="3SKdUq" id="2groWwY4j2V" role="3SKWNk">
<property role="3SKdUp" value="insert inputs of c to REF" />
......
......@@ -1023,6 +1023,11 @@
</node>
</node>
</node>
<node concept="3SKdUt" id="5VryqaHcwwe" role="3cqZAp">
<node concept="3SKdUq" id="5VryqaHcwwg" role="3SKWNk">
<property role="3SKdUp" value="TODO use original name of context of the rule" />
</node>
</node>
<node concept="3cpWs8" id="5bZNdPkod13" role="3cqZAp">
<node concept="3cpWsn" id="5bZNdPkod14" role="3cpWs9">
<property role="TrG5h" value="context" />
......@@ -1250,7 +1255,6 @@
</node>
</node>
</node>
<node concept="3clFbH" id="5bZNdPko94M" role="3cqZAp" />
<node concept="3clFbF" id="5bZNdPkowum" role="3cqZAp">
<node concept="2OqwBi" id="5bZNdPkoxRE" role="3clFbG">
<node concept="37vLTw" id="5bZNdPkowuk" role="2Oq$k0">
......@@ -1264,6 +1268,119 @@
</node>
</node>
<node concept="3clFbH" id="2groWwY3U_h" role="3cqZAp" />
<node concept="3SKdUt" id="4etyd0GT3wl" role="3cqZAp">
<node concept="3SKdUq" id="4etyd0GT3wn" role="3SKWNk">
<property role="3SKdUp" value="guard that arguments are have structure of call-site arguments" />
</node>
</node>
<node concept="3cpWs8" id="4etyd0GT60K" role="3cqZAp">
<node concept="3cpWsn" id="4etyd0GT60L" role="3cpWs9">
<property role="TrG5h" value="guardTermPremise" />
<node concept="3Tqbb2" id="4etyd0GT60M" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12t6cc" resolve="JudgmentInstanceEq" />
</node>
<node concept="2pJPEk" id="4etyd0GT60N" role="33vP2m">
<node concept="2pJPED" id="4etyd0GT60O" role="2pJPEn">
<ref role="2pJxaS" to="b83y:2_58u12t6cc" resolve="JudgmentInstanceEq" />
<node concept="2pIpSj" id="4etyd0GT60P" role="2pJxcM">
<ref role="2pIpSl" to="b83y:2_58u12uP1Y" resolve="arg1" />
<node concept="36biLy" id="4etyd0GT60Q" role="2pJxcZ">
<node concept="37vLTw" id="4etyd0GUlJ3" role="36biLW">
<ref role="3cqZAo" node="5bZNdPkoeD5" resolve="term" />
</node>
</node>
</node>
<node concept="2pIpSj" id="4etyd0GT60S" role="2pJxcM">
<ref role="2pIpSl" to="b83y:2_58u12uP1Z" resolve="arg2" />
<node concept="36biLy" id="4etyd0GT60T" role="2pJxcZ">
<node concept="2OqwBi" id="4etyd0GTdUH" role="36biLW">
<node concept="2OqwBi" id="4etyd0GTaGF" role="2Oq$k0">
<node concept="37vLTw" id="4etyd0GTazo" role="2Oq$k0">
<ref role="3cqZAo" node="5bZNdPki20X" resolve="in" />
</node>
<node concept="2qgKlT" id="4etyd0GTb6e" role="2OqNvi">
<ref role="37wK5l" to="pgas:5YqjVV7s$$Q" resolve="getArguments" />
</node>
</node>
<node concept="34jXtK" id="4etyd0GTh87" role="2OqNvi">
<node concept="3cmrfG" id="4etyd0GThdO" role="25WWJ7">
<property role="3cmrfH" value="1" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="4etyd0GThjv" role="3cqZAp">
<node concept="2OqwBi" id="4etyd0GThjw" role="3clFbG">
<node concept="37vLTw" id="4etyd0GThjx" role="2Oq$k0">
<ref role="3cqZAo" node="5bZNdPko4Nn" resolve="premises" />
</node>
<node concept="TSZUe" id="4etyd0GThjy" role="2OqNvi">
<node concept="37vLTw" id="4etyd0GTjRs" role="25WWJ7">
<ref role="3cqZAo" node="4etyd0GT60L" resolve="guardTermPremise" />
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="4etyd0GW_AH" role="3cqZAp">
<node concept="3cpWsn" id="4etyd0GW_AI" role="3cpWs9">
<property role="TrG5h" value="guardContextPremise" />
<node concept="3Tqbb2" id="4etyd0GW_AJ" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12t6cc" resolve="JudgmentInstanceEq" />
</node>
<node concept="2pJPEk" id="4etyd0GW_AK" role="33vP2m">
<node concept="2pJPED" id="4etyd0GW_AL" role="2pJPEn">
<ref role="2pJxaS" to="b83y:2_58u12t6cc" resolve="JudgmentInstanceEq" />
<node concept="2pIpSj" id="4etyd0GW_AM" role="2pJxcM">
<ref role="2pIpSl" to="b83y:2_58u12uP1Y" resolve="arg1" />
<node concept="36biLy" id="4etyd0GW_AN" role="2pJxcZ">
<node concept="37vLTw" id="4etyd0GWCKg" role="36biLW">
<ref role="3cqZAo" node="5bZNdPkod14" resolve="context" />
</node>
</node>
</node>
<node concept="2pIpSj" id="4etyd0GW_AP" role="2pJxcM">
<ref role="2pIpSl" to="b83y:2_58u12uP1Z" resolve="arg2" />
<node concept="36biLy" id="4etyd0GW_AQ" role="2pJxcZ">
<node concept="2OqwBi" id="4etyd0GW_AR" role="36biLW">
<node concept="2OqwBi" id="4etyd0GW_AS" role="2Oq$k0">
<node concept="37vLTw" id="4etyd0GW_AT" role="2Oq$k0">
<ref role="3cqZAo" node="5bZNdPki20X" resolve="in" />
</node>
<node concept="2qgKlT" id="4etyd0GW_AU" role="2OqNvi">
<ref role="37wK5l" to="pgas:5YqjVV7s$$Q" resolve="getArguments" />
</node>
</node>
<node concept="34jXtK" id="4etyd0GW_AV" role="2OqNvi">
<node concept="3cmrfG" id="4etyd0GWCEB" role="25WWJ7">
<property role="3cmrfH" value="0" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="4etyd0GW_AX" role="3cqZAp">
<node concept="2OqwBi" id="4etyd0GW_AY" role="3clFbG">
<node concept="37vLTw" id="4etyd0GW_AZ" role="2Oq$k0">
<ref role="3cqZAo" node="5bZNdPko4Nn" resolve="premises" />
</node>
<node concept="TSZUe" id="4etyd0GW_B0" role="2OqNvi">
<node concept="37vLTw" id="4etyd0GW_B1" role="25WWJ7">
<ref role="3cqZAo" node="4etyd0GW_AI" resolve="guardContextPremise" />
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="4etyd0GT5p7" role="3cqZAp" />
<node concept="3clFbH" id="4etyd0GVlq2" role="3cqZAp" />
<node concept="3cpWs8" id="2groWwYfPSO" role="3cqZAp">
<node concept="3cpWsn" id="2groWwYfPSP" role="3cpWs9">
<property role="TrG5h" value="criteria" />
......@@ -1322,13 +1439,7 @@
</node>
</node>
</node>
<node concept="3clFbH" id="3DmllL5sOVQ" role="3cqZAp" />
<node concept="3SKdUt" id="3DmllL5sMr2" role="3cqZAp">
<node concept="3SKdUq" id="3DmllL5sMr4" role="3SKWNk">
<property role="3SKdUp" value="TODO how do we now that xRequired has to be called with deconstructed context for recursive call-site?" />
</node>
</node>
<node concept="3clFbH" id="2groWwYeuQK" role="3cqZAp" />
<node concept="3clFbH" id="4etyd0GRzsq" role="3cqZAp" />
<node concept="3cpWs8" id="5bZNdPki_lh" role="3cqZAp">
<node concept="3cpWsn" id="5bZNdPki_lk" role="3cpWs9">
<property role="TrG5h" value="xRequiredRule" />
......
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