Struct datafrog::ExtendAnti

pub struct ExtendAnti<'leap, Key, Val, Tuple, Func>where
    Key: Ord + 'leap,
    Val: Ord + 'leap,
    Tuple: Ord,
    Func: Fn(&Tuple) -> Key,{ /* private fields */ }

Wraps a Relation as a leaper.

Implementations

impl<'leap, Key, Val, Tuple, Func> ExtendAnti<'leap, Key, Val, Tuple, Func>where
    Key: Ord + 'leap,
    Val: Ord + 'leap,
    Tuple: Ord,
    Func: Fn(&Tuple) -> Key,

pub fn from(relation: &'leap Relation<(Key, Val)>, key_func: Func) -> Self

Constructs a ExtendAnti from a relation and key and value function.

Trait Implementations

impl<'leap, Key: Ord, Val: Ord + 'leap, Tuple: Ord, Func> Leaper<'leap, Tuple, Val> for ExtendAnti<'leap, Key, Val, Tuple, Func>where
    Key: Ord + 'leap,
    Val: Ord + 'leap,
    Tuple: Ord,
    Func: Fn(&Tuple) -> Key,

fn count(&mut self, _prefix: &Tuple) -> usize

Estimates the number of proposed values.

fn propose(&mut self, _prefix: &Tuple, _values: &mut Vec<&'leap Val>)

Populates values with proposed values.

fn intersect(&mut self, prefix: &Tuple, values: &mut Vec<&'leap Val>)

Restricts values to proposed values.