Module timely::progress::frontier

source ·
Expand description

Tracks minimal sets of mutually incomparable elements of a partial order.

Structs

  • A set of mutually incomparable elements.
  • A wrapper for elements of an antichain.
  • An antichain based on a multiset whose elements frequencies can be updated.

Traits