public class DifferentialMap<K,V>
A differential representation of maps. Maps are stored as trees with full maps as roots and action nodes. Action nodes define either element deletion or insertion.
The value of the map is defined as the root map with action nodes between it and the current node applied to it.
Any action node can be used to form a root of another tree with an equivalent semantic. A predicate on when to collapse can be provided for creating root nodes automatically upon insertion or
Nested Class Summary
Nested classes/interfaces inherited from interface java.util.Map