[−][src]Module timely::progress::frontier
Tracks minimal sets of mutually incomparable elements of a partial order.
Structs
| Antichain | A set of mutually incomparable elements. |
| AntichainRef | A wrapper for elements of an antichain. |
| MutableAntichain | An antichain based on a multiset whose elements frequencies can be updated. |
Traits
| MutableAntichainFilter | Extension trait for filtering time changes through antichains. |