Skip to main content

BindingIterator

Trait BindingIterator 

Source
pub trait BindingIterator: Debug + Send {
    // Required methods
    fn next_binding(&mut self) -> Result<Option<Binding>, IterError>;
    fn vars(&self) -> Vec<Var>;
    fn cancel(&mut self);

    // Provided methods
    fn has_next(&self) -> bool { ... }
    fn reset(&mut self) -> bool { ... }
}
Expand description

Core trait for binding iterators

Required Methods§

Source

fn next_binding(&mut self) -> Result<Option<Binding>, IterError>

Get next binding

Source

fn vars(&self) -> Vec<Var>

Get variables produced by this iterator

Source

fn cancel(&mut self)

Cancel iteration

Provided Methods§

Source

fn has_next(&self) -> bool

Check if there are more results (optional hint)

Source

fn reset(&mut self) -> bool

Reset iterator to beginning (if supported)

Implementors§