Module differential_dataflow::lattice [−][src]
Partially ordered elements with a least upper bound.
Lattices form the basis of differential dataflow’s efficient execution in the presence of
iterative sub-computations. All logical times in differential dataflow must implement the
Lattice trait, and all reasoning in operators are done it terms of Lattice methods.
Traits
| Lattice | A bounded partially ordered type supporting joins and meets. |
Functions
| antichain_join | Returns the “smallest” minimal antichain “greater or equal” to both inputs. |
| antichain_meet | Returns the “greatest” minimal antichain “less or equal” to both inputs. |