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

fix mismatch of eliminatedInfiniteInputsByProjection output and generateADT input requirements

parent 23eaddab
......@@ -901,6 +901,22 @@
<node concept="2YIFZL" id="2groWwY9W7P" role="jymVt">
<property role="TrG5h" value="inputMetaVarsOfComputation" />
<node concept="3clFbS" id="2groWwY9W7S" role="3clF47">
<node concept="3cpWs8" id="76J5aPhgMIv" role="3cqZAp">
<node concept="3cpWsn" id="76J5aPhgMIw" role="3cpWs9">
<property role="TrG5h" value="inputs" />
<node concept="2I9FWS" id="76J5aPhgMIt" role="1tU5fm">
<ref role="2I9WkF" to="b83y:2_58u12eCXq" resolve="MetaVariable" />
</node>
<node concept="2ShNRf" id="76J5aPhgMIx" role="33vP2m">
<node concept="2T8Vx0" id="76J5aPhgMIy" role="2ShVmc">
<node concept="2I9FWS" id="76J5aPhgMIz" role="2T96Bj">
<ref role="2I9WkF" to="b83y:2_58u12eCXq" resolve="MetaVariable" />
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbH" id="76J5aPhveYB" role="3cqZAp" />
<node concept="1_3QMa" id="3ZEcx1Y3Aqh" role="3cqZAp">
<node concept="2OqwBi" id="3ZEcx1Y3FJt" role="1_3QMn">
<node concept="37vLTw" id="3ZEcx1Y3ESI" role="2Oq$k0">
......@@ -1036,21 +1052,6 @@
</node>
</node>
</node>
<node concept="3cpWs8" id="76J5aPhgMIv" role="3cqZAp">
<node concept="3cpWsn" id="76J5aPhgMIw" role="3cpWs9">
<property role="TrG5h" value="inputs" />
<node concept="2I9FWS" id="76J5aPhgMIt" role="1tU5fm">
<ref role="2I9WkF" to="b83y:2_58u12eCXq" resolve="MetaVariable" />
</node>
<node concept="2ShNRf" id="76J5aPhgMIx" role="33vP2m">
<node concept="2T8Vx0" id="76J5aPhgMIy" role="2ShVmc">
<node concept="2I9FWS" id="76J5aPhgMIz" role="2T96Bj">
<ref role="2I9WkF" to="b83y:2_58u12eCXq" resolve="MetaVariable" />
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="76J5aPhgUOc" role="3cqZAp">
<node concept="2OqwBi" id="76J5aPhgXFN" role="3clFbG">
<node concept="37vLTw" id="76J5aPhgUOa" role="2Oq$k0">
......@@ -1123,25 +1124,10 @@
</node>
</node>
</node>
<node concept="3cpWs8" id="76J5aPhhD73" role="3cqZAp">
<node concept="3cpWsn" id="76J5aPhhD74" role="3cpWs9">
<property role="TrG5h" value="inputs" />
<node concept="2I9FWS" id="76J5aPhhD75" role="1tU5fm">
<ref role="2I9WkF" to="b83y:2_58u12eCXq" resolve="MetaVariable" />
</node>
<node concept="2ShNRf" id="76J5aPhhD76" role="33vP2m">
<node concept="2T8Vx0" id="76J5aPhhD77" role="2ShVmc">
<node concept="2I9FWS" id="76J5aPhhD78" role="2T96Bj">
<ref role="2I9WkF" to="b83y:2_58u12eCXq" resolve="MetaVariable" />
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="76J5aPhhD79" role="3cqZAp">
<node concept="2OqwBi" id="76J5aPhhD7a" role="3clFbG">
<node concept="37vLTw" id="76J5aPhhD7b" role="2Oq$k0">
<ref role="3cqZAo" node="76J5aPhhD74" resolve="inputs" />
<node concept="37vLTw" id="76J5aPhw6Im" role="2Oq$k0">
<ref role="3cqZAo" node="76J5aPhgMIw" resolve="inputs" />
</node>
<node concept="X8dFx" id="76J5aPhhD7c" role="2OqNvi">
<node concept="2OqwBi" id="76J5aPhhD7d" role="25WWJ7">
......@@ -1162,8 +1148,8 @@
</node>
<node concept="3clFbF" id="76J5aPhhD7i" role="3cqZAp">
<node concept="2OqwBi" id="76J5aPhhD7j" role="3clFbG">
<node concept="37vLTw" id="76J5aPhhD7k" role="2Oq$k0">
<ref role="3cqZAo" node="76J5aPhhD74" resolve="inputs" />
<node concept="37vLTw" id="76J5aPhwoMv" role="2Oq$k0">
<ref role="3cqZAo" node="76J5aPhgMIw" resolve="inputs" />
</node>
<node concept="X8dFx" id="76J5aPhhD7l" role="2OqNvi">
<node concept="2OqwBi" id="76J5aPhhD7m" role="25WWJ7">
......@@ -1183,8 +1169,8 @@
</node>
</node>
<node concept="3cpWs6" id="76J5aPhhD7r" role="3cqZAp">
<node concept="37vLTw" id="76J5aPhhD7s" role="3cqZAk">
<ref role="3cqZAo" node="76J5aPhhD74" resolve="inputs" />
<node concept="37vLTw" id="76J5aPhwrNV" role="3cqZAk">
<ref role="3cqZAo" node="76J5aPhgMIw" resolve="inputs" />
</node>
</node>
</node>
......@@ -1210,25 +1196,10 @@
</node>
</node>
</node>
<node concept="3cpWs8" id="76J5aPhi81G" role="3cqZAp">
<node concept="3cpWsn" id="76J5aPhi81H" role="3cpWs9">
<property role="TrG5h" value="inputs" />
<node concept="2I9FWS" id="76J5aPhi81I" role="1tU5fm">
<ref role="2I9WkF" to="b83y:2_58u12eCXq" resolve="MetaVariable" />
</node>
<node concept="2ShNRf" id="76J5aPhi81J" role="33vP2m">
<node concept="2T8Vx0" id="76J5aPhi81K" role="2ShVmc">
<node concept="2I9FWS" id="76J5aPhi81L" role="2T96Bj">
<ref role="2I9WkF" to="b83y:2_58u12eCXq" resolve="MetaVariable" />
</node>
</node>
</node>
</node>
</node>
<node concept="3clFbF" id="76J5aPhi81M" role="3cqZAp">
<node concept="2OqwBi" id="76J5aPhi81N" role="3clFbG">
<node concept="37vLTw" id="76J5aPhi81O" role="2Oq$k0">
<ref role="3cqZAo" node="76J5aPhi81H" resolve="inputs" />
<node concept="37vLTw" id="76J5aPhweu9" role="2Oq$k0">
<ref role="3cqZAo" node="76J5aPhgMIw" resolve="inputs" />
</node>
<node concept="X8dFx" id="76J5aPhi81P" role="2OqNvi">
<node concept="2OqwBi" id="76J5aPhi81Q" role="25WWJ7">
......@@ -1248,8 +1219,8 @@
</node>
</node>
<node concept="3cpWs6" id="76J5aPhi824" role="3cqZAp">
<node concept="37vLTw" id="76J5aPhi825" role="3cqZAk">
<ref role="3cqZAo" node="76J5aPhi81H" resolve="inputs" />
<node concept="37vLTw" id="76J5aPhwxzm" role="3cqZAk">
<ref role="3cqZAo" node="76J5aPhgMIw" resolve="inputs" />
</node>
</node>
</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