Struct SearchMatches 

pub struct SearchMatches<'a, L: Language> {
    pub eclass: Id,
    pub substs: Vec<Subst>,
    pub ast: Option<Cow<'a, PatternAst<L>>>,
}

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

impl<'a, L: Debug + Language> Debug for SearchMatches<'a, L>

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

Formats the value using the given formatter.