timely::progress

Module 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§