Struct ProjectionIter

pub struct ProjectionIter<'a> { /* private fields */ }

Iterator over a projection implementing the SkipIterator interface

Trait Implementations

impl<'a> SkipIterator for ProjectionIter<'a>

fn skip(&mut self, tup: Vec<usize>)

Sets the iterator position to return the minimum value which is greater than or equal to the provided min.

fn next(&mut self) -> Option<(Vec<usize>, Vec<usize>)>

Provides the next tuple in the iterator, the fact ID it was derived from

fn arity(&self) -> usize

Returns the arity of the tuples that will be returned by next()

fn len(&self) -> usize

Returns the total length of the iterator, if it were fully rewound