Commit 6e21a5f5 authored by André Pacak's avatar André Pacak

correct renaming to avoid name clashes and proper detection that premise...

correct renaming to avoid name clashes and proper detection that premise deduplication can be performed by unification
parent 709541d2
This source diff could not be displayed because it is too large. You can view the blob instead.
......@@ -713,9 +713,7 @@
<node concept="avzCv" id="7TgNhRbqFpI" role="avys_">
<node concept="3clFbS" id="7TgNhRbqFpJ" role="2VODD2">
<node concept="3cpWs6" id="7TgNhRbqFx5" role="3cqZAp">
<node concept="3clFbT" id="7TgNhRbqFC_" role="3cqZAk">
<property role="3clFbU" value="true" />
</node>
<node concept="3clFbT" id="7TgNhRbqFC_" role="3cqZAk" />
</node>
</node>
</node>
......@@ -1126,9 +1124,7 @@
<node concept="avzCv" id="7TgNhRbqOho" role="avys_">
<node concept="3clFbS" id="7TgNhRbqOhp" role="2VODD2">
<node concept="3cpWs6" id="7TgNhRbqOoJ" role="3cqZAp">
<node concept="3clFbT" id="7TgNhRbqOwf" role="3cqZAk">
<property role="3clFbU" value="true" />
</node>
<node concept="3clFbT" id="7TgNhRbqOwf" role="3cqZAk" />
</node>
</node>
</node>
......@@ -2697,11 +2693,6 @@
</node>
</node>
</node>
<node concept="3SKdUt" id="3FODiuxeOQ_" role="3cqZAp">
<node concept="3SKdUq" id="3FODiuxeOQ$" role="3SKWNk">
<property role="3SKdUp" value="SETUP " />
</node>
</node>
<node concept="3SKdUt" id="3FODiuxeOQB" role="3cqZAp">
<node concept="3SKdUq" id="3FODiuxeOQA" role="3SKWNk">
<property role="3SKdUp" value="get inline target and inlines sources (projections) " />
......@@ -2717,7 +2708,11 @@
</node>
</node>
</node>
<node concept="3clFbH" id="6faGdF_ZhNp" role="3cqZAp" />
<node concept="3SKdUt" id="5uGOzfIGboJ" role="3cqZAp">
<node concept="3SKdUq" id="5uGOzfIGboL" role="3SKWNk">
<property role="3SKdUp" value="TODO only alter model if inlining was successfull" />
</node>
</node>
<node concept="3SKdUt" id="3FODiuxeOQD" role="3cqZAp">
<node concept="3SKdUq" id="3FODiuxeOQC" role="3SKWNk">
<property role="3SKdUp" value="nothing to inline =&gt; transformation cannot be applied " />
......@@ -2859,48 +2854,6 @@
</node>
</node>
</node>
<node concept="3SKdUt" id="3FODiuxeOQP" role="3cqZAp">
<node concept="3SKdUq" id="3FODiuxeOQO" role="3SKWNk">
<property role="3SKdUp" value="TODO clever replacements" />
</node>
</node>
<node concept="3clFbH" id="58rJHBt1qn7" role="3cqZAp" />
<node concept="3SKdUt" id="58rJHBt2oaT" role="3cqZAp">
<node concept="3SKdUq" id="58rJHBt2oaV" role="3SKWNk">
<property role="3SKdUp" value="empty result set" />
</node>
</node>
<node concept="3SKdUt" id="58rJHBt2vmo" role="3cqZAp">
<node concept="3SKdUq" id="58rJHBt2vmq" role="3SKWNk">
<property role="3SKdUp" value="empty remove set" />
</node>
</node>
<node concept="3SKdUt" id="58rJHBt1xxv" role="3cqZAp">
<node concept="3SKdUq" id="58rJHBt1xxx" role="3SKWNk">
<property role="3SKdUp" value="for each inline source" />
</node>
</node>
<node concept="3SKdUt" id="58rJHBt1UCG" role="3cqZAp">
<node concept="3SKdUq" id="58rJHBt1UCI" role="3SKWNk">
<property role="3SKdUp" value="if projection in premise of inlineTarget" />
</node>
</node>
<node concept="3SKdUt" id="58rJHBt1CEe" role="3cqZAp">
<node concept="3SKdUq" id="58rJHBt1CEg" role="3SKWNk">
<property role="3SKdUp" value="for each rule of inline source (add inline source rule to remove set)" />
</node>
</node>
<node concept="3SKdUt" id="58rJHBt22cF" role="3cqZAp">
<node concept="3SKdUq" id="58rJHBt22cH" role="3SKWNk">
<property role="3SKdUp" value="create new rule (add to result set)" />
</node>
</node>
<node concept="3SKdUt" id="58rJHBt2OHw" role="3cqZAp">
<node concept="3SKdUq" id="58rJHBt2OHy" role="3SKWNk">
<property role="3SKdUp" value="scan premises and check if subset matches premise if inlinedDecl =&gt; replace with conclusion" />
</node>
</node>
<node concept="3clFbH" id="58rJHBt2Zzw" role="3cqZAp" />
</node>
<node concept="2YIFZM" id="3FODiuxePDX" role="2GsD0m">
<ref role="1Pybhc" to="5tos:32CDcOyGKwu" resolve="TypeLangModuleQuerier" />
......
......@@ -377,12 +377,24 @@
<node concept="1F53FG" id="2U2uJPq7T3W" role="1FufQt" />
<node concept="1FvUVj" id="2U2uJPq3UY5" role="1FufQt">
<property role="TrG5h" value="infer Var" />
<node concept="1FvxpS" id="2U2uJPq7Rrl" role="1FvUVk">
<ref role="1FvxpT" node="2U2uJPq3UFA" resolve="lookup_noctx" />
<node concept="1FvUUU" id="2U2uJPq7RrJ" role="1FvxpU">
<node concept="1FvxpS" id="58rJHBnVv9T" role="1FvUVk">
<ref role="1FvxpT" node="2U2uJPq3Sni" resolve="infer_Context" />
<node concept="1FvUUU" id="58rJHBnVvah" role="1FvxpU">
<property role="TrG5h" value="v" />
</node>
<node concept="1FvUUU" id="58rJHBnVvas" role="1FvxpV">
<property role="TrG5h" value="C" />
</node>
</node>
<node concept="1FvB8F" id="58rJHBnVvaI" role="1FvUVk">
<ref role="1FvB8G" node="2U2uJPq7RFj" resolve="lookup" />
<node concept="1FvUUU" id="58rJHBnVvbf" role="1FvB8H">
<property role="TrG5h" value="v" />
</node>
<node concept="1FvUUU" id="2U2uJPq7RrU" role="1FvxpV">
<node concept="1FvUUU" id="58rJHBnVvbq" role="1FvB8I">
<property role="TrG5h" value="C" />
</node>
<node concept="1FvUUU" id="58rJHBnVvbH" role="1FvB8J">
<property role="TrG5h" value="ty" />
</node>
</node>
......
......@@ -217,6 +217,12 @@
</node>
<node concept="27Pwox" id="6G$bWLkr_ck" role="1XyUH6">
<ref role="1F1YRu" to="5va7:1Da9ityUTbw" resolve="Var" />
<node concept="bFJCQ" id="6DMI11k$lc9" role="27Pwov">
<ref role="3zVwH8" to="tpck:h0TrG11" resolve="name" />
<node concept="1FvUUU" id="6DMI11k$lcn" role="bFJCb">
<property role="TrG5h" value="name" />
</node>
</node>
</node>
</node>
<node concept="1FvUUU" id="6G$bWLkr_cl" role="1FvB8J">
......
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