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.