Struct egg::SearchMatches
source · pub struct SearchMatches<'a, L: Language> {
pub eclass: Id,
pub substs: Vec<Subst>,
pub ast: Option<Cow<'a, PatternAst<L>>>,
}
Expand description
The result of searching a Searcher
over one eclass.
Note that one SearchMatches
can contain many found
substitutions. So taking the length of a list of SearchMatches
tells you how many eclasses something was matched in, not how
many matches were found total.
Fields§
§eclass: Id
The eclass id that these matches were found in.
substs: Vec<Subst>
The substitutions for each match.
ast: Option<Cow<'a, PatternAst<L>>>
Optionally, an ast for the matches used in proof production.
Trait Implementations§
Auto Trait Implementations§
impl<'a, L> RefUnwindSafe for SearchMatches<'a, L>where L: RefUnwindSafe,
impl<'a, L> Send for SearchMatches<'a, L>where L: Send + Sync,
impl<'a, L> Sync for SearchMatches<'a, L>where L: Sync,
impl<'a, L> Unpin for SearchMatches<'a, L>where L: Unpin,
impl<'a, L> UnwindSafe for SearchMatches<'a, L>where L: UnwindSafe + RefUnwindSafe,
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more