Skip to main content

pop_batch

Function pop_batch 

Source
pub(crate) fn pop_batch<T>(
    batch: &mut VecDeque<T>,
    order: SymbolicExplorationOrder,
) -> Option<T>
Expand description

Pops the current path from a local batch according to the configured exploration order.