Skip to main content

advance

Function advance 

Source
pub(super) fn advance(
    frontier: &mut Antichain<Timestamp>,
    new: AntichainRef<'_, Timestamp>,
) -> bool
Expand description

Advance the given frontier to new, if the latter one is greater.

Returns whether frontier was advanced.