Struct libslide::partial_evaluator::variable_expand::LazyVariableExpander

[+] Show declaration

struct LazyVariableExpander<'a> {
    expr: RcExpr,
    expand_defs: HashMap<InternedStr, &'a RcExpr>,
}

[−] Expand description

Lazily expands variables in an expression.

A LazyVariableExpander expands each variable exactly once, when finish is called, and does not expand variables within an expanded variable definition.

For example, "a + b".expand("a = b + 1").expand("b = c") would expand to "b + 1 + c". Compare this to an EagerVariableExpander.

Furthermore, the variable definition used by a LazyVariableExpander is the last one given via expand.

For example, "a + a".expand("a = 1").expand("a = 10") would expand to "10 + 10".

Fields

expr: RcExpr

expand_defs: HashMap<InternedStr, &'a RcExpr>

Trait Implementations

impl<'a> ExpressionTransformer<'a> for LazyVariableExpander<'a>[+]

[+] Show hidden undocumented items

fn transform_var(&self, var: &'a InternedStr, span: Span) -> RcExpr

fn transform(&self, expr: &'a RcExpr) -> RcExpr

fn transform_const(&self, konst: &f64, span: Span) -> RcExpr

fn transform_binary_op(&self, op: BinaryOperator) -> BinaryOperator

fn transform_binary(&self, expr: &'a BinaryExpr<RcExpr>, span: Span) -> RcExpr

fn transform_unary_op(&self, op: UnaryOperator) -> UnaryOperator

fn transform_unary(&self, expr: &'a UnaryExpr<RcExpr>, span: Span) -> RcExpr

fn transform_parend(&self, expr: &'a RcExpr, span: Span) -> RcExpr

fn transform_bracketed(&self, expr: &'a RcExpr, span: Span) -> RcExpr

impl<'a> VariableExpander<'a> for LazyVariableExpander<'a>[+]

[+] Show hidden undocumented items

fn new(expr: RcExpr) -> Self[−]

Creates a new VariableExpander from an expression to expand.

fn expand(self, asgn: &'a Assignment) -> Self[−]

Expands the variables matching the lhs of asgn with the assignment definition. Consumes and returns self, providing a chaining API.

fn finish(self) -> RcExpr[−]

Consumes self and returns the owned expression with any variables expanded.