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.