Trait sophia_api::term::matcher::TermMatcher [−][src]
pub trait TermMatcher {
type Term: TTerm + ?Sized;
fn constant(&self) -> Option<&Self::Term>;
fn matches<T>(&self, t: &T) -> bool
where
T: TTerm + ?Sized;
}
Expand description
Generic trait for matching TTerms.
Associated Types
Required methods
If this matcher matches only one term, return this term, else None
.