eclipseclp/Mercury/m_tree234.pl

1336 	split_four(T1, MT1K, MT1V, T10, T11),
1338 	insert2_aux28_aux31_aux32(Result1, T11, T10, MT1V, MT1K, Tout, V, K, T0, V0, K0).
1362 insert2_aux28_aux31_aux32(Result1, T11, T10, MT1V, MT1K, Tout, V, K, T0, V0, K0) :-
1365 	Tout = three(K0, V0, MT1K, MT1V, T0, NewT10, T11).
1369 insert2_aux28_aux31_aux32(Result1, T11, T10, MT1V, MT1K, Tout, V, K, T0, V0, K0) :-
1371 	insert2(T11, K, V, NewT11),
1445 	split_four(T1, MT1K, MT1V, T10, T11),
1447 	insert3_aux33_aux37_aux38_aux39(ResultM, T11, T10, MT1V, MT1K, K0, V0, K1, V1, T0, T2, K, V, Tout).
1500 insert3_aux33_aux37_aux38_aux39(ResultM, T11, T10, MT1V, MT1K, K0, V0, K1, V1, T0, T2, K, V, Tout) :-
1503 	Tout = four(K0, V0, MT1K, MT1V, K1, V1, T0, NewT10, T11, T2).
1507 insert3_aux33_aux37_aux38_aux39(ResultM, T11, T10, MT1V, MT1K, K0, V0, K1, V1, T0, T2, K, V, Tout) :-
1509 	insert2(T11, K, V, NewT11),
1608 	split_four(T1, MT1K, MT1V, T10, T11),
1610 	set2_aux44_aux48_aux49(Result1, T11, T10, MT1V, MT1K, Tout, V, K, T0, V0, K0).
1644 set2_aux44_aux48_aux49(Result1, T11, T10, MT1V, MT1K, Tout, V, K, T0, V0, K0) :-
1647 	Tout = three(K0, V0, MT1K, MT1V, T0, NewT10, T11).
1648 set2_aux44_aux48_aux49(Result1, T11, T10, _MT1V, MT1K, Tout, V, _K, T0, V0, K0) :-
1650 	Tout = three(K0, V0, MT1K, V, T0, T10, T11).
1651 set2_aux44_aux48_aux49(Result1, T11, T10, MT1V, MT1K, Tout, V, K, T0, V0, K0) :-
1653 	set2(T11, K, V, NewT11),
1727 	split_four(T1, MT1K, MT1V, T10, T11),
1729 	set3_aux50_aux54_aux55_aux56(ResultM, T11, T10, MT1V, MT1K, K0, V0, K1, V1, T0, T2, K, V, Tout).
1782 set3_aux50_aux54_aux55_aux56(ResultM, T11, T10, MT1V, MT1K, K0, V0, K1, V1, T0, T2, K, V, Tout) :-
1785 	Tout = four(K0, V0, MT1K, MT1V, K1, V1, T0, NewT10, T11, T2).
1786 set3_aux50_aux54_aux55_aux56(ResultM, T11, T10, _MT1V, MT1K, K0, V0, K1, V1, T0, T2, _K, V, Tout) :-
1788 	Tout = four(K0, V0, MT1K, V, K1, V1, T0, T10, T11, T2).
1789 set3_aux50_aux54_aux55_aux56(ResultM, T11, T10, MT1V, MT1K, K0, V0, K1, V1, T0, T2, K, V, Tout) :-
1791 	set2(T11, K, V, NewT11),
2396 	T1 = four(K10, V10, K11, V11, K12, V12, T10, T11, T12, T13),
2397 	NewT1 = three(K11, V11, K12, V12, T11, T12, T13),
2403 	T1 = three(K10, V10, K11, V11, T10, T11, T12),
2404 	NewT1 = two(K11, V11, T11, T12),
2411 	T1 = two(K10, V10, T10, T11),
2412 	Tout = three(K0, V0, K10, V10, T0, T10, T11),
2457 	T1 = four(K10, V10, K11, V11, K12, V12, T10, T11, T12, T13),
2458 	NewT1 = three(K11, V11, K12, V12, T11, T12, T13),
2464 	T1 = three(K10, V10, K11, V11, T10, T11, T12),
2465 	NewT1 = two(K11, V11, T11, T12),
2471 	T1 = two(K10, V10, T10, T11),
2472 	NewT1 = three(K0, V0, K10, V10, T0, T10, T11),
2521 	T1 = four(K10, V10, K11, V11, K12, V12, T10, T11, T12, T13),
2522 	NewT1 = three(K10, V10, K11, V11, T10, T11, T12),
2528 	T1 = three(K10, V10, K11, V11, T10, T11, T12),
2529 	NewT1 = two(K10, V10, T10, T11),
2535 	T1 = two(K10, V10, T10, T11),
2536 	NewT1 = three(K10, V10, K1, V1, T10, T11, T2),
2554 	T1 = four(K10, V10, K11, V11, K12, V12, T10, T11, T12, T13),
2555 	NewT1 = three(K11, V11, K12, V12, T11, T12, T13),
2561 	T1 = three(K10, V10, K11, V11, T10, T11, T12),
2562 	NewT1 = two(K11, V11, T11, T12),
2568 	T1 = two(K10, V10, T10, T11),
2569 	NewT1 = three(K0, V0, K10, V10, T0, T10, T11),