Module order

Traits and types for partially ordered sets.

Structs

Interval

A type representing an inclusive interval of type P, ordered under the subset relation.

Partitioned

A partially ordered timestamp that is partitioned by an arbitrary number of partitions identified by P. The construction allows for efficient representation of frontiers with Antichains.

Reverse

A helper struct for reverse partial ordering.

Traits

Extrema

A trait defining the minimum and maximum values of a type.

Step

Functions

refine_antichain

Refine an Antichain<T> into a Antichain<Inner>, using a Refines implementation (in the case of tuple-style timestamps, this usually means appending a minimum time).