Enum egg::pattern::Pattern

pub enum Pattern<L: Language> {
    Expr(Expr<L, Pattern<L>>),
    Wildcard(L::Wildcard),
}

Variants

Expr(Expr<L, Pattern<L>>)Wildcard(L::Wildcard)

Methods

impl<L: Language> Pattern<L>

pub fn from_expr(e: &RecExpr<L>) -> Self

impl<L: Language> Pattern<L>

pub fn search<M>(&self, egraph: &EGraph<L, M>) -> Vec<PatternMatches<L>>

pub fn search_eclass<M>(
    &self,
    egraph: &EGraph<L, M>,
    eclass: Id
) -> Option<PatternMatches<L>>

Trait Implementations

impl<L: PartialEq + Language> PartialEq<Pattern<L>> for Pattern<L> where
    L::Wildcard: PartialEq, 

fn eq(&self, other: &Pattern<L>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Pattern<L>) -> bool

This method tests for !=.

impl<L: Clone + Language> Clone for Pattern<L> where
    L::Wildcard: Clone, 

fn clone(&self) -> Pattern<L>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<L: Debug + Language> Debug for Pattern<L> where
    L::Wildcard: Debug, 

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

Formats the value using the given formatter.