Trait sophia::term::matcher::TermMatcher

pub trait TermMatcher {
    type TermData: TermData;
    fn constant(&self) -> Option<&Term<Self::TermData>>;
    fn matches<T>(&self, t: &Term<T>) -> bool
    where
        T: TermData;
}

Generic trait for matching terms.

Associated Types

type TermData: TermData

Loading content...

Required methods

fn constant(&self) -> Option<&Term<Self::TermData>>

If this matcher matches only one term, return this term, else None.

fn matches<T>(&self, t: &Term<T>) -> bool where
    T: TermData, 

Check whether this matcher matches t.

Loading content...

Implementations on Foreign Types

impl<U> TermMatcher for [Term<U>] where
    U: TermData, 

type TermData = U

fn constant(&self) -> Option<&Term<Self::TermData>>

fn matches<T>(&self, t: &Term<T>) -> bool where
    T: TermData, 

Loading content...

Implementors

impl TermMatcher for AnyTerm

type TermData = &'static str

fn constant(&self) -> Option<&Term<Self::TermData>>

fn matches<T>(&self, _t: &Term<T>) -> bool where
    T: TermData, 

impl<F: Fn(&RefTerm) -> bool> TermMatcher for F

type TermData = &'static str

fn constant(&self) -> Option<&Term<Self::TermData>>

fn matches<T>(&self, t: &Term<T>) -> bool where
    T: TermData, 

impl<U> TermMatcher for Term<U> where
    U: TermData, 

type TermData = U

fn constant(&self) -> Option<&Term<Self::TermData>>

fn matches<T>(&self, t: &Term<T>) -> bool where
    T: TermData, 

Loading content...