pub trait BindingIterator: Debug + Send {
// Required methods
fn next_binding(&mut self) -> IterResult;
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§
Sourcefn next_binding(&mut self) -> IterResult
fn next_binding(&mut self) -> IterResult
Get next binding