Struct ExprCSEController 

struct ExprCSEController<'a> {
    alias_generator: &'a AliasGenerator,
    mask: ExprMask,
    alias_counter: usize,
    lambdas_params: HashSet<String>,
}

Fields

alias_generator: &'a AliasGenerator

mask: ExprMask

alias_counter: usize

lambdas_params: HashSet<String>

Implementations

impl<'a> ExprCSEController<'a>

fn new(alias_generator: &'a AliasGenerator, mask: ExprMask) -> Self

Trait Implementations

impl CSEController for ExprCSEController<'_>

type Node = Expr

The type of the tree nodes.

fn conditional_children(node: &Expr) -> Option<(Vec<&Expr>, Vec<&Expr>)>

Splits the children to normal and conditionally evaluated ones or returns None if all are always evaluated.

fn visit_f_down(&mut self, node: &Expr)

fn visit_f_up(&mut self, node: &Expr)

fn is_valid(node: &Expr) -> bool

fn is_ignored(&self, node: &Expr) -> bool

fn generate_alias(&self) -> String

fn rewrite(&mut self, node: &Self::Node, alias: &str) -> Self::Node

fn rewrite_f_down(&mut self, node: &Expr)

fn rewrite_f_up(&mut self, node: &Expr)