Struct IKunLinker 

pub struct IKunLinker<A: Analysis<IKun>> {
    pub global_graph: EGraph<IKun, A>,
    /* private fields */
}

Linker for merging multiple IKun E-Graphs and resolving cross-module references.

Fields

global_graph: EGraph<IKun, A>

The merged global E-Graph.

Implementations

impl<A: Analysis<IKun> + Default> IKunLinker<A>

pub fn new() -> Self

pub fn add_module(&mut self, module_name: &str, graph: &EGraph<IKun, A>)

Add a module’s E-Graph to the global graph. This will copy all nodes and record exports.

pub fn link(&mut self)

Link all imports to their corresponding exports.