pub struct BpBudget {
pub min_partition_docs: Option<usize>,
pub time_budget: Option<Duration>,
}Expand description
CPU/depth budget for a BP pass. BP is an anytime algorithm: stopping at any depth or deadline still yields a valid permutation, and because the output layout becomes the next pass’s input order, repeated budgeted passes warm-start and deepen (top levels converge in ~0 swaps, the budget flows to deeper levels).
Fields§
§min_partition_docs: Option<usize>Stop recursion at partitions of at most this many docs instead of
descending to block granularity. None = full depth. Capping at
superblock granularity (superblock_size × block_size docs) keeps most
of the superblock-pruning win at ~⅓ less depth.
time_budget: Option<Duration>Wall-clock cap for the whole BP computation. The pass ends cleanly at
the deadline with whatever depth it reached (converged = false).
Ignored on wasm (no monotonic clock).
Implementations§
Trait Implementations§
Auto Trait Implementations§
impl Freeze for BpBudget
impl RefUnwindSafe for BpBudget
impl Send for BpBudget
impl Sync for BpBudget
impl Unpin for BpBudget
impl UnsafeUnpin for BpBudget
impl UnwindSafe for BpBudget
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> Pointable for T
impl<T> Pointable for T
impl<T> Read<Exclusive, BecauseExclusive> for Twhere
T: ?Sized,
Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read moreSource§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.