Module timely::progress::frontier
[−]
[src]
Tracks minimal sets of mutually incomparable elements of a partial order.
Structs
Antichain |
A set of mutually incomparable elements. |
MutableAntichain |
An antichain based on a multiset whose elements frequencies can be updated. |