Enum egg::Pattern

pub enum Pattern<L> {
    ENode(Box<ENode<L, Pattern<L>>>),
    Wildcard(QuestionMarkName, WildcardKind),
}

Variants

ENode(Box<ENode<L, Pattern<L>>>)

Wildcard(QuestionMarkName, WildcardKind)

Methods

impl<L: Language> Pattern<L>

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

pub fn to_expr(&self) -> Result<RecExpr<L>, String>

pub fn is_multi_wildcard(&self) -> bool

pub fn subst_and_find<M>(
    &self,
    egraph: &mut EGraph<L, M>,
    mapping: &WildMap
) -> Id where
    M: Metadata<L>, 

impl<L: Language + Display> Pattern<L>

pub fn to_sexp(&self) -> Sexp

Trait Implementations

impl<L: Language, M: Metadata<L>> Applier<L, M> for Pattern<L>

fn apply_one(
    &self,
    egraph: &mut EGraph<L, M>,
    _: Id,
    mapping: &WildMap
) -> Vec<Id>

fn apply_matches(
    &self,
    egraph: &mut EGraph<L, M>,
    matches: &[SearchMatches]
) -> Vec<Id>

impl<L: Clone> Clone for Pattern<L>

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> Debug for Pattern<L>

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

Formats the value using the given formatter.

impl<L: Language + FromStr> FromStr for Pattern<L>

type Err = ParseError

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<Self, ParseError>

Parses a string s to return a value of this type.

impl<L: PartialEq> PartialEq<Pattern<L>> for Pattern<L>

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, M> Searcher<L, M> for Pattern<L> where
    L: Language,
    M: Metadata<L>, 

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

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

impl<L> StructuralPartialEq for Pattern<L>