Module differential_dataflow::lattice [] [src]

Partially ordered elements with a least upper bound.

Traits

Lattice

A bounded partially ordered type supporting joins and meets.

Functions

close_under_join

Extends vector to contain all joins of pairs of elements.