pub fn with_effort(
        mut effort: usize,
        activator: Option<timely::scheduling::activate::Activator>,
    ) -> Self {
        // Zero effort is .. not smart.
        if effort == 0 {
            effort = 1;
        }

        Spine {
            cursor_storage: RefCell::new(Vec::new()),
            lower: Antichain::from_elem(B::Time::minimum()),
            upper: Antichain::new(),
            merging: Vec::new(),
            effort,
            activator,
            dirty: false,
        }
    }
/// Allocates a fueled `Spine` with a specified effort multiplier.
///
/// This trace will merge batches progressively, with each inserted batch
/// applying a multiple of the batch's length in effort to each merge.
/// The `effort` parameter is that multiplier. This value should be at
/// least one for the merging to happen; a value of zero is not helpful.
Allocates a fueled `Spine` with a specified effort multiplier.
This trace will merge batches progressively, with each inserted batch
applying a multiple of the batch's length in effort to each merge.
The `effort` parameter is that multiplier. This value should be at
least one for the merging to happen; a value of zero is not helpful.
Allocates a fueled ` Spine ` with a specified effort multiplier . This trace will merge batches progressively with each inserted batch applying a multiple of the batch ' s length in effort to each merge . The ` effort ` parameter is that multiplier . This value should be at least one for the merging to happen ; a value of zero is not helpful .
pub fn with_effort(
        mut effort: usize,
        activator: Option<timely::scheduling::activate::Activator>,
    ) -> Self {
        // Zero effort is .. not smart.
        if effort == 0 {
            effort = 1;
        }
        Spine {
            cursor_storage: RefCell::new(Vec::new()),
            lower: Antichain::from_elem(B::Time::minimum()),
            upper: Antichain::new(),
            merging: Vec::new(),
            effort,
            activator,
            dirty: false,
        }
    }
pub fn with_effort ( mut effort : usize , activator : Option < timely :: scheduling :: activate :: Activator > , ) -> Self { // Zero effort is .. not smart. if effort == 0 { effort = 1 ; } Spine { cursor_storage : RefCell :: new ( Vec :: new ( ) ) , lower : Antichain :: from_elem ( B :: Time :: minimum ( ) ) , upper : Antichain :: new ( ) , merging : Vec :: new ( ) , effort , activator , dirty : false , } }
Allocates a fueled `Spine` with a specified effort multiplier.
Allocates a fueled ` Spine ` with a specified effort multiplier .
effort
usize
activator
Option<timely::scheduling::activate::Activator>