org.sosy_lab.common.collect (Sosy-Lab Common Library)

This package contains additional interfaces and implementations for collections, as well as further collection utilities.

Interface Summary
Interface	Description
MapsDifference.Visitor<K,V>	Interface for visiting map entries differing between two maps.
OrderStatisticMap<K,V>	A `NavigableMap` that allows two additional operations: receiving (and deleting) an entry by its rank, and getting the rank of an entry.
OrderStatisticSet<E>	A `NavigableSet` that allows two additional operations: receiving (and deleting) an element by its rank, and getting the rank of an element.
PersistentList<T>	Interface for persistent lists.
PersistentMap<K,V>	Interface for persistent map.
PersistentSortedMap<K,V>	Sub-interface of `PersistentMap` analog to `NavigableMap`.
PersistentSortedMaps.MergeConflictHandler<K,V>	A callback that is used when a key with two different values is encountered during the merge of two maps.

Class Summary
Class	Description
Collections3	Utility class similar to `Collections` and `Collections2`.
CopyOnWriteSortedMap<K,V>	This is a map implementation that uses copy-on-write behavior.
MapsDifference	Utilities for handling differences between maps.
MapsDifference.DefaultVisitor<K,V>	Default implementation of `MapsDifference.Visitor` with empty methods.
MapsDifference.Entry<K,V>	Class representing the difference between two maps for a given key.
MoreCollectors	Additional `Collector` implementation, similar to `Collectors`.
OrderStatisticMapTestSuite
OrderStatisticMapTestSuite.OrderStatisticMapFactory
OrderStatisticSetTestSuite
OrderStatisticSetTestSuite.OrderStatisticSetFactory
PathCopyingPersistentTreeMap<K extends Comparable<? super K>,V>	This is an implementation of `PersistentSortedMap` that is based on left-leaning red-black trees (LLRB) and path copying.
PersistentLinkedList<T>	A single-linked-list implementation of `PersistentList`.
PersistentSortedMaps	Utility class for `PersistentSortedMap`s.

Package org.sosy_lab.common.collect