Skip to main content

best_tree_filtered

Function best_tree_filtered 

Source
pub fn best_tree_filtered(
    eg: &mut CompilerEGraph,
    root: NodeId,
    admissible: &dyn Fn(&CompilerENode) -> bool,
) -> Option<ExtractTree>
Expand description

The cheapest finite tree whose every node passes admissible, or None when no such tree exists (the caller keeps the original expression).