Function differential_dataflow::trace::layers::advance [−][src]
pub fn advance<T, F: Fn(&T) -> bool>(slice: &[T], function: F) -> usize
Reports the number of elements satisfing the predicate.
This methods relies strongly on the assumption that the predicate
stays false once it becomes false, a joint property of the predicate
and the slice. This allows advance
to use exponential search to
count the number of elements in time logarithmic in the result.