pub struct WandExecutor<S: ScoringIterator> { /* private fields */ }Expand description
Generic MaxScore WAND executor for top-k retrieval
Works with any type implementing ScoringIterator.
Implements:
- WAND pivot-based pruning: skip documents that can’t beat threshold
- Block-max WAND: skip blocks that can’t beat threshold
- Efficient top-k collection
Implementations§
Source§impl<S: ScoringIterator> WandExecutor<S>
impl<S: ScoringIterator> WandExecutor<S>
Sourcepub fn new(scorers: Vec<S>, k: usize) -> Self
pub fn new(scorers: Vec<S>, k: usize) -> Self
Create a new WAND executor with exact search (heap_factor = 1.0)
Sourcepub fn with_heap_factor(scorers: Vec<S>, k: usize, heap_factor: f32) -> Self
pub fn with_heap_factor(scorers: Vec<S>, k: usize, heap_factor: f32) -> Self
Create a new WAND executor with approximate search
heap_factor controls the trade-off between speed and recall:
- 1.0 = exact search
- 0.8 = ~20% faster, minor recall loss
- 0.5 = much faster, noticeable recall loss
Sourcepub fn execute(self) -> Vec<ScoredDoc>
pub fn execute(self) -> Vec<ScoredDoc>
Execute WAND and return top-k results
Implements the WAND (Weak AND) algorithm with pivot-based pruning:
- Maintain iterators sorted by current docID (using sorted vector)
- Find pivot: first term where cumulative upper bounds > threshold
- If all iterators at pivot docID, fully score; otherwise skip to pivot
- Insert into collector and advance
Reference: Broder et al., “Efficient Query Evaluation using a Two-Level Retrieval Process” (CIKM 2003)
Note: For small number of terms (typical queries), a sorted vector with insertion sort is faster than a heap due to better cache locality. The vector stays mostly sorted, so insertion sort is ~O(n) amortized.
Auto Trait Implementations§
impl<S> Freeze for WandExecutor<S>
impl<S> RefUnwindSafe for WandExecutor<S>where
S: RefUnwindSafe,
impl<S> Send for WandExecutor<S>where
S: Send,
impl<S> Sync for WandExecutor<S>where
S: Sync,
impl<S> Unpin for WandExecutor<S>where
S: Unpin,
impl<S> UnwindSafe for WandExecutor<S>where
S: UnwindSafe,
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
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
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.