Struct 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 apply_one( &self, egraph: &mut EGraph<L, N>, eclass: Id, subst: &Subst, searcher_ast: Option<&RecExpr<ENodeOrVar<L>>>, rule_name: Symbol, ) -> Vec<Id>

Apply a single substitition.

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 substititions.

fn get_pattern_ast(&self) -> Option<&RecExpr<ENodeOrVar<L>>>

For patterns, get the ast directly as a reference.

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

where C: Clone, A: Clone,

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

Returns a duplicate of the value.

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

Performs copy-assignment from source.

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

where C: Debug, A: Debug,

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

Formats the value using the given formatter.