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

syntax mode for the sort that is used as input for projection instead of output of projection

parent f2700438
......@@ -1187,6 +1187,81 @@
<ref role="2I9WkF" to="b83y:2U2uJPpd5x5" resolve="Sort" />
</node>
</node>
<node concept="13i0hz" id="2KaZpbamY8R" role="13h7CS">
<property role="13i0iv" value="false" />
<property role="13i0it" value="false" />
<property role="TrG5h" value="getNonSyntaxSorts" />
<node concept="3Tm1VV" id="2KaZpbamY8S" role="1B3o_S" />
<node concept="3clFbS" id="2KaZpbamY8T" role="3clF47">
<node concept="3clFbF" id="2KaZpbamY8U" role="3cqZAp">
<node concept="2OqwBi" id="2KaZpbamY8V" role="3clFbG">
<node concept="2OqwBi" id="2KaZpbamY8W" role="2Oq$k0">
<node concept="BsUDl" id="2KaZpbamY8X" role="2Oq$k0">
<ref role="37wK5l" node="4XA4NEmGQRd" resolve="getSorts" />
</node>
<node concept="3zZkjj" id="2KaZpbamY8Y" role="2OqNvi">
<node concept="1bVj0M" id="2KaZpbamY8Z" role="23t8la">
<node concept="3clFbS" id="2KaZpbamY90" role="1bW5cS">
<node concept="3clFbF" id="2KaZpbamY91" role="3cqZAp">
<node concept="22lmx$" id="2KaZpbamY92" role="3clFbG">
<node concept="1eOMI4" id="2KaZpbamY93" role="3uHU7w">
<node concept="1Wc70l" id="2KaZpbamY94" role="1eOMHV">
<node concept="3fqX7Q" id="2KaZpbamY95" role="3uHU7w">
<node concept="2OqwBi" id="2KaZpbamY96" role="3fr31v">
<node concept="37vLTw" id="2KaZpbamY97" role="2Oq$k0">
<ref role="3cqZAo" node="2KaZpbamY9j" resolve="it" />
</node>
<node concept="2qgKlT" id="2KaZpban0$O" role="2OqNvi">
<ref role="37wK5l" node="1t5MWi491jl" resolve="isSyntaxDirectedInput" />
</node>
</node>
</node>
<node concept="2OqwBi" id="2KaZpbamY99" role="3uHU7B">
<node concept="37vLTw" id="2KaZpbamY9a" role="2Oq$k0">
<ref role="3cqZAo" node="2KaZpbamY9j" resolve="it" />
</node>
<node concept="2qgKlT" id="2KaZpbamY9b" role="2OqNvi">
<ref role="37wK5l" node="2U2uJPpePaZ" resolve="isInfiniteInput" />
</node>
</node>
</node>
</node>
<node concept="22lmx$" id="2KaZpbamY9c" role="3uHU7B">
<node concept="2OqwBi" id="2KaZpbamY9d" role="3uHU7B">
<node concept="37vLTw" id="2KaZpbamY9e" role="2Oq$k0">
<ref role="3cqZAo" node="2KaZpbamY9j" resolve="it" />
</node>
<node concept="2qgKlT" id="2KaZpbamY9f" role="2OqNvi">
<ref role="37wK5l" node="2U2uJPpeU0b" resolve="isInfiniteNonlatticeOutput" />
</node>
</node>
<node concept="2OqwBi" id="2KaZpbamY9g" role="3uHU7w">
<node concept="37vLTw" id="2KaZpbamY9h" role="2Oq$k0">
<ref role="3cqZAo" node="2KaZpbamY9j" resolve="it" />
</node>
<node concept="2qgKlT" id="2KaZpbaqnJo" role="2OqNvi">
<ref role="37wK5l" node="2iwoW_q825k" resolve="isUserInput" />
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="Rh6nW" id="2KaZpbamY9j" role="1bW2Oz">
<property role="TrG5h" value="it" />
<node concept="2jxLKc" id="2KaZpbamY9k" role="1tU5fm" />
</node>
</node>
</node>
</node>
<node concept="ANE8D" id="2KaZpbamY9l" role="2OqNvi" />
</node>
</node>
</node>
<node concept="2I9FWS" id="2KaZpbamY9m" role="3clF45">
<ref role="2I9WkF" to="b83y:2U2uJPpd5x5" resolve="Sort" />
</node>
</node>
<node concept="13i0hz" id="2U2uJPpurJc" role="13h7CS">
<property role="13i0iv" value="false" />
<property role="13i0it" value="false" />
......@@ -4646,6 +4721,131 @@
</node>
</node>
</node>
<node concept="13i0hz" id="2KaZpbaqbhN" role="13h7CS">
<property role="13i0iv" value="false" />
<property role="13i0it" value="false" />
<property role="TrG5h" value="getSyntaxDirectedInputArguments" />
<node concept="3Tm1VV" id="2KaZpbaqbhO" role="1B3o_S" />
<node concept="2I9FWS" id="2KaZpbaqbhP" role="3clF45">
<ref role="2I9WkF" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
</node>
<node concept="3clFbS" id="2KaZpbaqbhQ" role="3clF47">
<node concept="3cpWs8" id="2KaZpbaqbhR" role="3cqZAp">
<node concept="3cpWsn" id="2KaZpbaqbhS" role="3cpWs9">
<property role="TrG5h" value="userInputs" />
<node concept="2I9FWS" id="2KaZpbaqbhT" role="1tU5fm">
<ref role="2I9WkF" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
</node>
<node concept="2ShNRf" id="2KaZpbaqbhU" role="33vP2m">
<node concept="2T8Vx0" id="2KaZpbaqbhV" role="2ShVmc">
<node concept="2I9FWS" id="2KaZpbaqbhW" role="2T96Bj">
<ref role="2I9WkF" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
</node>
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="2KaZpbaqbhX" role="3cqZAp">
<node concept="3cpWsn" id="2KaZpbaqbhY" role="3cpWs9">
<property role="TrG5h" value="sorts" />
<node concept="2I9FWS" id="2KaZpbaqbhZ" role="1tU5fm">
<ref role="2I9WkF" to="b83y:2U2uJPpd5x5" resolve="Sort" />
</node>
<node concept="2OqwBi" id="2KaZpbaqbi0" role="33vP2m">
<node concept="BsUDl" id="2KaZpbaqbi1" role="2Oq$k0">
<ref role="37wK5l" node="iMPJyMM1Nb" resolve="getJudgment" />
</node>
<node concept="2qgKlT" id="2KaZpbaqbi2" role="2OqNvi">
<ref role="37wK5l" node="4XA4NEmGQRd" resolve="getSorts" />
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="2KaZpbaqbi3" role="3cqZAp">
<node concept="3cpWsn" id="2KaZpbaqbi4" role="3cpWs9">
<property role="TrG5h" value="args" />
<node concept="_YKpA" id="2KaZpbaqbi5" role="1tU5fm">
<node concept="3Tqbb2" id="2KaZpbaqbi6" role="_ZDj9">
<ref role="ehGHo" to="b83y:2_58u12g7Tn" resolve="IMetaTerm" />
</node>
</node>
<node concept="BsUDl" id="2KaZpbaqbi7" role="33vP2m">
<ref role="37wK5l" node="5YqjVV7s$$Q" resolve="getArguments" />
</node>
</node>
</node>
<node concept="1Dw8fO" id="2KaZpbaqbi8" role="3cqZAp">
<node concept="3clFbS" id="2KaZpbaqbi9" role="2LFqv$">
<node concept="3clFbJ" id="2KaZpbaqbia" role="3cqZAp">
<node concept="3clFbS" id="2KaZpbaqbib" role="3clFbx">
<node concept="3clFbF" id="2KaZpbaqbic" role="3cqZAp">
<node concept="2OqwBi" id="2KaZpbaqbid" role="3clFbG">
<node concept="37vLTw" id="2KaZpbaqbie" role="2Oq$k0">
<ref role="3cqZAo" node="2KaZpbaqbhS" resolve="userInputs" />
</node>
<node concept="TSZUe" id="2KaZpbaqbif" role="2OqNvi">
<node concept="2OqwBi" id="2KaZpbaqbig" role="25WWJ7">
<node concept="37vLTw" id="2KaZpbaqbih" role="2Oq$k0">
<ref role="3cqZAo" node="2KaZpbaqbi4" resolve="args" />
</node>
<node concept="34jXtK" id="2KaZpbaqbii" role="2OqNvi">
<node concept="37vLTw" id="2KaZpbaqbij" role="25WWJ7">
<ref role="3cqZAo" node="2KaZpbaqbiq" resolve="i" />
</node>
</node>
</node>
</node>
</node>
</node>
</node>
<node concept="2OqwBi" id="2KaZpbaqbik" role="3clFbw">
<node concept="2OqwBi" id="2KaZpbaqbil" role="2Oq$k0">
<node concept="37vLTw" id="2KaZpbaqbim" role="2Oq$k0">
<ref role="3cqZAo" node="2KaZpbaqbhY" resolve="sorts" />
</node>
<node concept="34jXtK" id="2KaZpbaqbin" role="2OqNvi">
<node concept="37vLTw" id="2KaZpbaqbio" role="25WWJ7">
<ref role="3cqZAo" node="2KaZpbaqbiq" resolve="i" />
</node>
</node>
</node>
<node concept="2qgKlT" id="2KaZpbaqgEf" role="2OqNvi">
<ref role="37wK5l" node="1t5MWi491jl" resolve="isSyntaxDirectedInput" />
</node>
</node>
</node>
</node>
<node concept="3cpWsn" id="2KaZpbaqbiq" role="1Duv9x">
<property role="TrG5h" value="i" />
<node concept="10Oyi0" id="2KaZpbaqbir" role="1tU5fm" />
<node concept="3cmrfG" id="2KaZpbaqbis" role="33vP2m">
<property role="3cmrfH" value="0" />
</node>
</node>
<node concept="3eOVzh" id="2KaZpbaqbit" role="1Dwp0S">
<node concept="2OqwBi" id="2KaZpbaqbiu" role="3uHU7w">
<node concept="37vLTw" id="2KaZpbaqbiv" role="2Oq$k0">
<ref role="3cqZAo" node="2KaZpbaqbhY" resolve="sorts" />
</node>
<node concept="34oBXx" id="2KaZpbaqbiw" role="2OqNvi" />
</node>
<node concept="37vLTw" id="2KaZpbaqbix" role="3uHU7B">
<ref role="3cqZAo" node="2KaZpbaqbiq" resolve="i" />
</node>
</node>
<node concept="3uNrnE" id="2KaZpbaqbiy" role="1Dwrff">
<node concept="37vLTw" id="2KaZpbaqbiz" role="2$L3a6">
<ref role="3cqZAo" node="2KaZpbaqbiq" resolve="i" />
</node>
</node>
</node>
<node concept="3clFbF" id="2KaZpbaqbi$" role="3cqZAp">
<node concept="37vLTw" id="2KaZpbaqbi_" role="3clFbG">
<ref role="3cqZAo" node="2KaZpbaqbhS" resolve="userInputs" />
</node>
</node>
</node>
</node>
<node concept="13i0hz" id="2iwoW_qbb2N" role="13h7CS">
<property role="13i0iv" value="false" />
<property role="13i0it" value="false" />
......
......@@ -81,14 +81,14 @@
<node concept="1FtGIX" id="6G$bWLkr_bg" role="1FvzHG" />
<node concept="1FtGBS" id="6G$bWLkr_bh" role="1FvzHH">
<ref role="1FtGBW" to="5va7:2_58u12slaZ" resolve="Context" />
<node concept="2jlkjo" id="1t5MWi46nRd" role="1FtGIM" />
<node concept="1FtGIS" id="2KaZpbam0UW" role="1FtGIM" />
</node>
<node concept="1FtGIX" id="6G$bWLkr_bj" role="1FvzTf">
<property role="1FtGIY" value="|-" />
</node>
<node concept="1FtGBS" id="6G$bWLkr_bk" role="1FvzHI">
<ref role="1FtGBW" to="5va7:1Da9ityUTbh" resolve="Term" />
<node concept="Zlr9x" id="2U2uJPpfXqa" role="1FtGIM" />
<node concept="2jlkjo" id="2KaZpbam0US" role="1FtGIM" />
</node>
<node concept="1FtGIX" id="6G$bWLkr_bm" role="1FsQh1">
<property role="1FtGIY" value="=&gt;" />
......@@ -104,21 +104,21 @@
<node concept="1FtGIX" id="6G$bWLkr_br" role="1FvzHG" />
<node concept="1FtGBS" id="6G$bWLkr_bs" role="1FvzHH">
<ref role="1FtGBW" to="5va7:2_58u12slaZ" resolve="Context" />
<node concept="2jlkjo" id="1t5MWi46nRh" role="1FtGIM" />
<node concept="1FtGIS" id="2KaZpbam0V0" role="1FtGIM" />
</node>
<node concept="1FtGIX" id="6G$bWLkr_bu" role="1FvzTf">
<property role="1FtGIY" value="|-" />
</node>
<node concept="1FtGBS" id="6G$bWLkr_bv" role="1FvzHI">
<ref role="1FtGBW" to="5va7:1Da9ityUTbh" resolve="Term" />
<node concept="Zlr9x" id="2U2uJPpfXB3" role="1FtGIM" />
<node concept="2jlkjo" id="2KaZpbam0Vc" role="1FtGIM" />
</node>
<node concept="1FtGIX" id="6G$bWLkr_bx" role="1FsQh1">
<property role="1FtGIY" value="&lt;=" />
</node>
<node concept="1FtGBS" id="6G$bWLkr_by" role="1FvzHK">
<ref role="1FtGBW" to="5va7:1Da9ityUTef" resolve="Type" />
<node concept="2jlkjo" id="1t5MWi46nRl" role="1FtGIM" />
<node concept="1FtGIS" id="2KaZpbam0V4" role="1FtGIM" />
</node>
<node concept="1FtGIX" id="6G$bWLkr_b$" role="1FvzSA" />
</node>
......@@ -131,7 +131,7 @@
</node>
<node concept="1FtGBS" id="6G$bWLkr_bB" role="1FvzHH">
<ref role="1FtGBW" to="5va7:1Da9ityUTbw" resolve="Var" />
<node concept="Zlr9x" id="2U2uJPq833I" role="1FtGIM" />
<node concept="Zlr9x" id="5croPxsqG9s" role="1FtGIM" />
</node>
<node concept="1FtGIX" id="6G$bWLkr_bD" role="1FvzTf">
<property role="1FtGIY" value="in" />
......@@ -142,7 +142,7 @@
<node concept="1FtGIX" id="6G$bWLkr_bF" role="1FvzSA" />
<node concept="1FtGBS" id="6G$bWLkr_bG" role="1FvzHI">
<ref role="1FtGBW" to="5va7:2_58u12slaZ" resolve="Context" />
<node concept="1FtGIS" id="2U2uJPpfXBc" role="1FtGIM" />
<node concept="1FtGIS" id="5croPxsqG9w" role="1FtGIM" />
</node>
<node concept="1FtGBS" id="6G$bWLkr_bI" role="1FvzHK">
<ref role="1FtGBW" to="5va7:1Da9ityUTef" resolve="Type" />
......
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