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