Struct egg::ConditionalApplier

pub struct ConditionalApplier<C, A> {
    pub condition: C,
    pub applier: A,
}

An Applier that checks a Condition before applying.

A ConditionalApplier simply calls check on the Condition before calling apply_one on the inner Applier.

See the rewrite! macro documentation for an example.

Fields

condition: C

The Condition to check before calling apply_one on applier.

applier: A

The inner Applier to call once condition passes.

Trait Implementations

impl<C, A, N, L> Applier<L, N> for ConditionalApplier<C, A>

where L: Language, C: Condition<L, N>, A: Applier<L, N>, N: Analysis<L>,

fn get_pattern_ast(&self) -> Option<&PatternAst<L>>

For patterns, get the ast directly as a reference.

fn apply_one( &self, egraph: &mut EGraph<L, N>, eclass: Id, subst: &Subst, searcher_ast: Option<&PatternAst<L>>, rule_name: Symbol ) -> Vec<Id>

Apply a single substitution.

fn vars(&self) -> Vec<Var>

Returns a list of variables that this Applier assumes are bound.

fn apply_matches( &self, egraph: &mut EGraph<L, N>, matches: &[SearchMatches<'_, L>], rule_name: Symbol ) -> Vec<Id>

Apply many substitutions.

impl<C: Clone, A: Clone> Clone for ConditionalApplier<C, A>

fn clone(&self) -> ConditionalApplier<C, A>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<C: Debug, A: Debug> Debug for ConditionalApplier<C, A>

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

Formats the value using the given formatter.

impl<C: PartialEq, A: PartialEq> PartialEq for ConditionalApplier<C, A>

fn eq(&self, other: &ConditionalApplier<C, A>) -> bool

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

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<C: Eq, A: Eq> Eq for ConditionalApplier<C, A>

impl<C, A> StructuralPartialEq for ConditionalApplier<C, A>