Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 1 of 1 for MergingList (0.1 sec)

  1. src/mdo/merger.vm

            if (src.isEmpty()) {
                return tgt;
            }
    
            MergingList<T> list;
            if (tgt instanceof MergingList) {
                list = (MergingList<T>) tgt;
            } else {
                list = new MergingList<>(computer, src.size() + tgt.size());
                list.mergeAll(tgt, (t, s) -> s);
            }
    
            list.mergeAll(src, remapping);
    Registered: Wed Jun 12 09:55:16 UTC 2024
    - Last Modified: Tue Sep 05 16:06:44 UTC 2023
    - 12.2K bytes
    - Viewed (0)
Back to top