Trait Analysis 

pub trait Analysis<L: Language>: Default {
    type Data;

    // Required methods
    fn make(egraph: &EGraph<L, Self>, enode: &L) -> Self::Data;
    fn merge(&mut self, to: &mut Self::Data, from: Self::Data) -> bool;

    // Provided methods
    fn on_add(&self, _data: &mut Self::Data, _loc: Loc) { ... }
    fn is_compatible(&self, _data1: &Self::Data, _data2: &Self::Data) -> bool { ... }
}

Required Associated Types

type Data

Required Methods

fn make(egraph: &EGraph<L, Self>, enode: &L) -> Self::Data

fn merge(&mut self, to: &mut Self::Data, from: Self::Data) -> bool

Provided Methods

fn on_add(&self, _data: &mut Self::Data, _loc: Loc)

fn is_compatible(&self, _data1: &Self::Data, _data2: &Self::Data) -> bool

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl<L: Language> Analysis<L> for ()

type Data = ()

fn make(_egraph: &EGraph<L, Self>, _enode: &L) -> Self::Data

fn merge(&mut self, _to: &mut Self::Data, _from: Self::Data) -> bool

Implementors

impl Analysis<IKun> for ConstraintAnalysis

type Data = ConstraintSet

impl<L: Language> Analysis<L> for DebugAnalysis

type Data = DebugData