Expand description
Tracks minimal sets of mutually incomparable elements of a partial order.
Structs§
- Antichain
- A set of mutually incomparable elements.
- Antichain
Ref - A wrapper for elements of an antichain.
- Mutable
Antichain - An antichain based on a multiset whose elements frequencies can be updated.
Traits§
- Mutable
Antichain Filter - Extension trait for filtering time changes through antichains.