leo_passes::common::tree_node

Type Alias ConditionalTreeNode

Source 
pub type ConditionalTreeNode = TreeNode<Symbol>;
Expand description

A binary search tree to store all paths through nested conditional blocks.

Aliased Type§

struct ConditionalTreeNode {
    pub depth: usize,
    pub elements: IndexSet<Symbol>,
    pub counter: usize,
}

Fields§

§depth: usize

The current depth.

§elements: IndexSet<Symbol>

The current node.

§counter: usize

A counter.