Struct discrimination_tree::Index

pub struct Index<Symbol, T> { /* fields omitted */ }

Methods

impl<Symbol: Ord, T> Index<Symbol, T>

pub fn new() -> Self

pub fn insert(&mut self, term: Term<Symbol>, store: T)

Important traits for PossibleUnifiers<'term, 'index, Symbol, T>

impl<'term, 'index, Symbol: Ord, T> Iterator for PossibleUnifiers<'term, 'index, Symbol, T> type Item = &'index T;

pub fn possible_unifiers<'index, 'term>(
    &'index self,
    query: &'term Term<Symbol>
) -> PossibleUnifiers<'term, 'index, Symbol, T>

Trait Implementations

impl<Symbol: Clone, T: Clone> Clone for Index<Symbol, T>

fn clone(&self) -> Index<Symbol, T>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<Symbol: Debug, T: Debug> Debug for Index<Symbol, T>

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.

impl<Symbol: Ord, T> Default for Index<Symbol, T>

fn default() -> Self

Returns the "default value" for a type.

impl<Symbol: Eq, T: Eq> Eq for Index<Symbol, T>

impl<Symbol: Ord, T> Extend<(Term<Symbol>, T)> for Index<Symbol, T>

fn extend<I: IntoIterator<Item = (Term<Symbol>, T)>>(&mut self, iter: I)

Extends a collection with the contents of an iterator.

impl<Symbol: Ord, T> FromIterator<(Term<Symbol>, T)> for Index<Symbol, T>

fn from_iter<I: IntoIterator<Item = (Term<Symbol>, T)>>(iter: I) -> Self

Creates a value from an iterator.

impl<Symbol: PartialEq, T: PartialEq> PartialEq<Index<Symbol, T>> for Index<Symbol, T>

fn eq(&self, other: &Index<Symbol, T>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Index<Symbol, T>) -> bool

This method tests for !=.

impl<Symbol, T> StructuralEq for Index<Symbol, T>

impl<Symbol, T> StructuralPartialEq for Index<Symbol, T>