Skip to main content

capability_meet

Function capability_meet 

Source
fn capability_meet<T: Lattice + Timestamp>(capabilities: &CapabilitySet<T>) -> T
Expand description

The lattice meet of the times of capabilities.

A message in a partially ordered scope can carry several capabilities. Their meet lower bounds every time in the message’s batches, so it is a valid time to advance the opposing trace’s updates to. Panics if capabilities is empty.