Testing list unification
This commit is contained in:
Fedor Isakov
parent
e1c9bb7496
commit
04dead1fe1
|
|
@ -3904,6 +3904,33 @@
|
|||
<ref role="2AI5Lk" to="f8dg:~JCHR_Declare" resolve="JCHR_Declare" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2tJIrI" id="7nuzzkr21VL" role="jymVt" />
|
||||
<node concept="3clFbW" id="7nuzzkr2143" role="jymVt">
|
||||
<node concept="37vLTG" id="7nuzzkr2144" role="3clF46">
|
||||
<property role="TrG5h" value="name" />
|
||||
<node concept="17QB3L" id="7nuzzkr2145" role="1tU5fm" />
|
||||
</node>
|
||||
<node concept="37vLTG" id="7nuzzkr22MK" role="3clF46">
|
||||
<property role="TrG5h" value="wildcard" />
|
||||
<node concept="10P_77" id="7nuzzkr231n" role="1tU5fm" />
|
||||
</node>
|
||||
<node concept="3cqZAl" id="7nuzzkr2146" role="3clF45" />
|
||||
<node concept="3clFbS" id="7nuzzkr2147" role="3clF47">
|
||||
<node concept="XkiVB" id="7nuzzkr2148" role="3cqZAp">
|
||||
<ref role="37wK5l" node="7nuzzkr1W8y" resolve="AbstractLogical" />
|
||||
<node concept="37vLTw" id="7nuzzkr2149" role="37wK5m">
|
||||
<ref role="3cqZAo" node="7nuzzkr2144" resolve="name" />
|
||||
</node>
|
||||
<node concept="37vLTw" id="7nuzzkr23aF" role="37wK5m">
|
||||
<ref role="3cqZAo" node="7nuzzkr22MK" resolve="wildcard" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3Tm1VV" id="7nuzzkr214a" role="1B3o_S" />
|
||||
<node concept="2AHcQZ" id="7nuzzkr214b" role="2AJF6D">
|
||||
<ref role="2AI5Lk" to="f8dg:~JCHR_Declare" resolve="JCHR_Declare" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2tJIrI" id="6SkxsM$96Z1" role="jymVt" />
|
||||
<node concept="3clFbW" id="6SkxsM$2Uu7" role="jymVt">
|
||||
<node concept="3cqZAl" id="6SkxsM$2Uua" role="3clF45" />
|
||||
|
|
@ -5271,6 +5298,58 @@
|
|||
<node concept="17QB3L" id="3HJTsBmBV1u" role="1tU5fm" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2tJIrI" id="7nuzzkr1WTZ" role="jymVt" />
|
||||
<node concept="3clFbW" id="7nuzzkr1W8y" role="jymVt">
|
||||
<node concept="3cqZAl" id="7nuzzkr1W8z" role="3clF45" />
|
||||
<node concept="3Tmbuc" id="7nuzzkr1W8$" role="1B3o_S" />
|
||||
<node concept="3clFbS" id="7nuzzkr1W8_" role="3clF47">
|
||||
<node concept="XkiVB" id="7nuzzkr1W8A" role="3cqZAp">
|
||||
<ref role="37wK5l" to="eifs:~Logical.<init>(java.lang.String)" resolve="Logical" />
|
||||
<node concept="37vLTw" id="7nuzzkr1W8B" role="37wK5m">
|
||||
<ref role="3cqZAo" node="7nuzzkr1W8L" resolve="name" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="7nuzzkr1W8C" role="3cqZAp">
|
||||
<node concept="37vLTI" id="7nuzzkr1W8D" role="3clFbG">
|
||||
<node concept="1eOMI4" id="7nuzzkr1W8E" role="37vLTx">
|
||||
<node concept="3clFbC" id="7nuzzkr1W8F" role="1eOMHV">
|
||||
<node concept="10Nm6u" id="7nuzzkr1W8G" role="3uHU7w" />
|
||||
<node concept="37vLTw" id="7nuzzkr1W8H" role="3uHU7B">
|
||||
<ref role="3cqZAo" node="7nuzzkr1W8L" resolve="name" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2OqwBi" id="7nuzzkr1W8I" role="37vLTJ">
|
||||
<node concept="Xjq3P" id="7nuzzkr1W8J" role="2Oq$k0" />
|
||||
<node concept="2OwXpG" id="7nuzzkr1W8K" role="2OqNvi">
|
||||
<ref role="2Oxat5" node="5zfvpQ7aOhJ" resolve="anon" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3clFbF" id="7nuzzkr1Y31" role="3cqZAp">
|
||||
<node concept="37vLTI" id="7nuzzkr1ZVn" role="3clFbG">
|
||||
<node concept="37vLTw" id="7nuzzkr20am" role="37vLTx">
|
||||
<ref role="3cqZAo" node="7nuzzkr1XEB" resolve="wildcard" />
|
||||
</node>
|
||||
<node concept="2OqwBi" id="7nuzzkr1Ydg" role="37vLTJ">
|
||||
<node concept="Xjq3P" id="7nuzzkr1Y2Z" role="2Oq$k0" />
|
||||
<node concept="2OwXpG" id="7nuzzkr1Zce" role="2OqNvi">
|
||||
<ref role="2Oxat5" node="2DKqMqOi$it" resolve="wildcard" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTG" id="7nuzzkr1W8L" role="3clF46">
|
||||
<property role="TrG5h" value="name" />
|
||||
<node concept="17QB3L" id="7nuzzkr1W8M" role="1tU5fm" />
|
||||
</node>
|
||||
<node concept="37vLTG" id="7nuzzkr1XEB" role="3clF46">
|
||||
<property role="TrG5h" value="wildcard" />
|
||||
<node concept="10P_77" id="7nuzzkr1XT7" role="1tU5fm" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2tJIrI" id="2DKqMqOisBZ" role="jymVt" />
|
||||
<node concept="3clFbW" id="3HJTsBmBVmo" role="jymVt">
|
||||
<node concept="37vLTG" id="3HJTsBmBVne" role="3clF46">
|
||||
|
|
|
|||
|
|
@ -1163,6 +1163,43 @@
|
|||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2tJIrI" id="7nuzzkr25De" role="jymVt" />
|
||||
<node concept="3clFb_" id="7nuzzkr25as" role="jymVt">
|
||||
<property role="TrG5h" value="wildcard" />
|
||||
<node concept="3uibUv" id="7nuzzkr25at" role="3clF45">
|
||||
<ref role="3uigEE" to="ie8e:uNmovXiEd4" resolve="Variable" />
|
||||
</node>
|
||||
<node concept="3Tm6S6" id="7nuzzkr25au" role="1B3o_S" />
|
||||
<node concept="3clFbS" id="7nuzzkr25av" role="3clF47">
|
||||
<node concept="3clFbF" id="7nuzzkr25aw" role="3cqZAp">
|
||||
<node concept="10QFUN" id="7nuzzkr25ax" role="3clFbG">
|
||||
<node concept="2OqwBi" id="7nuzzkr25ay" role="10QFUP">
|
||||
<node concept="2ShNRf" id="7nuzzkr25az" role="2Oq$k0">
|
||||
<node concept="1pGfFk" id="7nuzzkr25a$" role="2ShVmc">
|
||||
<ref role="37wK5l" to="oy3s:7nuzzkr2143" resolve="AtomLogical" />
|
||||
<node concept="37vLTw" id="7nuzzkr26aF" role="37wK5m">
|
||||
<ref role="3cqZAo" node="7nuzzkr266n" resolve="id" />
|
||||
</node>
|
||||
<node concept="3clFbT" id="7nuzzkr25a_" role="37wK5m">
|
||||
<property role="3clFbU" value="true" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="liA8E" id="7nuzzkr25aA" role="2OqNvi">
|
||||
<ref role="37wK5l" to="oy3s:1Ns6gpY6DeD" resolve="asAtom" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="3uibUv" id="7nuzzkr25aB" role="10QFUM">
|
||||
<ref role="3uigEE" to="ie8e:uNmovXiEd4" resolve="Variable" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="37vLTG" id="7nuzzkr266n" role="3clF46">
|
||||
<property role="TrG5h" value="id" />
|
||||
<node concept="17QB3L" id="7nuzzkr266m" role="1tU5fm" />
|
||||
</node>
|
||||
</node>
|
||||
<node concept="2tJIrI" id="3HJTsBn43rK" role="jymVt" />
|
||||
<node concept="3clFb_" id="3HJTsBn41DA" role="jymVt">
|
||||
<property role="TrG5h" value="stringVar" />
|
||||
|
|
@ -2655,6 +2692,14 @@
|
|||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1oi5UN" id="7nuzzkr2a9P" role="KCVpo">
|
||||
<node concept="1oi5Wm" id="7nuzzkr2a9Q" role="1ojpOf">
|
||||
<property role="TrG5h" value="name" />
|
||||
<node concept="1oi5XN" id="7nuzzkr2a9R" role="1oi5zu">
|
||||
<property role="1oi5yK" value="bazzzz" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1oi5Wm" id="1OShD0Ig2iK" role="1ojpOf">
|
||||
|
|
@ -2674,7 +2719,10 @@
|
|||
<ref role="3uigEE" to="ie8e:uNmovXiEd4" resolve="Variable" />
|
||||
</node>
|
||||
<node concept="1rXfSq" id="1OShD0Ig2iP" role="33vP2m">
|
||||
<ref role="37wK5l" node="5cGCTtq$bC0" resolve="wildcard" />
|
||||
<ref role="37wK5l" node="7nuzzkr25as" resolve="wildcard" />
|
||||
<node concept="Xl_RD" id="7nuzzkr28Kp" role="37wK5m">
|
||||
<property role="Xl_RC" value="x" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
|
|
@ -2766,6 +2814,14 @@
|
|||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1oi5UN" id="7nuzzkr2adA" role="KCVpo">
|
||||
<node concept="1oi5Wm" id="7nuzzkr2adB" role="1ojpOf">
|
||||
<property role="TrG5h" value="name" />
|
||||
<node concept="1oi5XN" id="7nuzzkr2adC" role="1oi5zu">
|
||||
<property role="1oi5yK" value="bazzzz" />
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
</node>
|
||||
<node concept="1oi1Uc" id="1OShD0IgmVf" role="37wK5m">
|
||||
|
|
|
|||
Loading…
Reference in New Issue