Skip to main content

SubstMethod

slotted_egraphs

Trait SubstMethod 

Source 
pub trait SubstMethod<L: Language, N: Analysis<L>> {
    // Required methods
    fn new_boxed() -> Box<dyn SubstMethod<L, N>>
       where Self: Sized;
    fn subst(
        &mut self,
        b: AppliedId,
        x: AppliedId,
        t: AppliedId,
        eg: &mut EGraph<L, N>,
    ) -> AppliedId;
}
Expand description

Specifies a certain implementation of how substitution b[x := t] is implemented internally.

Required Methods§

Source

fn new_boxed() -> Box<dyn SubstMethod<L, N>>
where Self: Sized,

Source

fn subst( &mut self, b: AppliedId, x: AppliedId, t: AppliedId, eg: &mut EGraph<L, N>, ) -> AppliedId

Dyn Compatibility§

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors§