Struct egg::SearchMatches [−][src]
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
substititions. 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.