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

generate rules for projections

parent 63af7344
......@@ -2607,7 +2607,7 @@
<ref role="3cqZAo" node="7oauUzrT2MQ" resolve="querier" />
</node>
<node concept="liA8E" id="7oauUztla0G" role="2OqNvi">
<ref role="37wK5l" to="5tos:4RJJaub9DpF" resolve="getInstancesOfDeclaration" />
<ref role="37wK5l" to="5tos:7oauUztLu6V" resolve="getInstancesOfDeclarationOutsideOfConclusion" />
<node concept="1LFfDK" id="7oauUztoKU1" role="37wK5m">
<node concept="3cmrfG" id="7oauUztoMam" role="1LF_Uc">
<property role="3cmrfH" value="0" />
......@@ -2622,27 +2622,6 @@
</node>
<node concept="1DcWWT" id="7oauUztla0I" role="3cqZAp">
<node concept="3clFbS" id="7oauUztla0J" role="2LFqv$">
<node concept="3cpWs8" id="7oauUztoP6a" role="3cqZAp">
<node concept="3cpWsn" id="7oauUztoP6d" role="3cpWs9">
<property role="TrG5h" value="projectionDeclaration" />
<node concept="3Tqbb2" id="7oauUztoP68" role="1tU5fm">
<ref role="ehGHo" to="b83y:2_58u12eLDI" resolve="JudgmentDeclaration" />
</node>
<node concept="3EllGN" id="7oauUztoQH5" role="33vP2m">
<node concept="37vLTw" id="7oauUztoQKS" role="3ElVtu">
<ref role="3cqZAo" node="7oauUztow03" resolve="tuple" />
</node>
<node concept="2OqwBi" id="7oauUztoPiV" role="3ElQJh">
<node concept="37vLTw" id="7oauUztoPbX" role="2Oq$k0">
<ref role="3cqZAo" node="7oauUzsM84s" resolve="projectNonUserInput" />
</node>
<node concept="2OwXpG" id="7oauUztoPoV" role="2OqNvi">
<ref role="2Oxat5" to="5tos:7oauUzteQ2F" resolve="declarationSortMap" />
</node>
</node>
</node>
</node>
</node>
<node concept="3cpWs8" id="7oauUztoQV0" role="3cqZAp">
<node concept="3cpWsn" id="7oauUztoQV3" role="3cpWs9">
<property role="TrG5h" value="index" />
......@@ -2689,9 +2668,6 @@
<node concept="37vLTw" id="7oauUztla0S" role="37wK5m">
<ref role="3cqZAo" node="7oauUztla12" resolve="instance" />
</node>
<node concept="37vLTw" id="7oauUztoQRU" role="37wK5m">
<ref role="3cqZAo" node="7oauUztoP6d" resolve="projectionDeclaration" />
</node>
<node concept="37vLTw" id="7oauUztoYxr" role="37wK5m">
<ref role="3cqZAo" node="7oauUztoQV3" resolve="index" />
</node>
......@@ -2892,6 +2868,11 @@
<property role="3SKdUp" value="TODO add projection instances to rules" />
</node>
</node>
<node concept="3SKdUt" id="7oauUzug3J0" role="3cqZAp">
<node concept="3SKdUq" id="7oauUzug3J2" role="3SKWNk">
<property role="3SKdUp" value="TODO generate no context lookup judgment" />
</node>
</node>
<node concept="3clFbH" id="7oauUztm8sS" role="3cqZAp" />
</node>
<node concept="3cpWsn" id="7oauUzrSZtl" role="1Duv9x">
......
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