Struct Converter 

pub struct Converter<'a> {
    pub eg: CompilerEGraph,
    /* private fields */
}

Fields

eg: CompilerEGraph

Implementations

impl<'a> Converter<'a>

pub fn new() -> Self

pub fn finish_facts(&mut self)

Stage opaque-free-gated facts now that conversion is complete.

pub fn to_node( &mut self, expr: &'a Expr<'a>, facts: Option<&OracleFacts>, ) -> (NodeId, bool)

Returns (class, stable). stable = the subtree’s value cannot change within one evaluation of the enclosing expression.

pub fn tree_to_expr( &self, t: &ExtractTree, arena: &'a Arena<Expr<'a>>, ) -> &'a Expr<'a>