rescala.extra.lattices.dotstores
Dot stores provide a generic way to merge datastructures, implemented on top of one of the provided dot stores.
The new element contains all the dots that are either contained in both dotstores or contained in one of the dotstores but not in the causal context (history) of the other one.
(Since version ) see corresponding Javadoc for more information.
Dot stores provide a generic way to merge datastructures, implemented on top of one of the provided dot stores.