Package org.sosy_lab.common.collect
@CheckReturnValue
@ParametersAreNonnullByDefault
@ReturnValuesAreNonnullByDefault
@FieldsAreNonnullByDefault
package org.sosy_lab.common.collect
This package contains additional interfaces and implementations for collections, as well as
further collection utilities.
-
ClassDescriptionUtility class similar to
CollectionsandCollections2.CopyOnWriteSortedMap<K,V extends @Nullable Object> This is a map implementation that uses copy-on-write behavior.Utilities for handling differences between maps.Default implementation ofMapsDifference.Visitorwith empty methods.MapsDifference.Entry<K,V> Class representing the difference between two maps for a given key.Interface for visiting map entries differing between two maps.AdditionalCollectorimplementation, similar toCollectors.OrderStatisticMap<K,V extends @Nullable Object> ANavigableMapthat allows two additional operations: receiving (and deleting) an entry by its rank, and getting the rank of an entry.ANavigableSetthat allows two additional operations: receiving (and deleting) an element by its rank, and getting the rank of an element.This is an implementation ofPersistentSortedMapthat is based on left-leaning red-black trees (LLRB) and path copying.A single-linked-list implementation ofPersistentList.Interface for persistent lists.PersistentMap<K,V extends @Nullable Object> Interface for persistent map.PersistentSortedMap<K,V extends @Nullable Object> Sub-interface ofPersistentMapanalog toNavigableMap.Utility class forPersistentSortedMaps.A callback that is used when a key with two different values is encountered during the merge of two maps.