Struct AgdaExtDomTree 

pub struct AgdaExtDomTree { /* private fields */ }

Dominator tree for AgdaExt.

Implementations

impl AgdaExtDomTree

pub fn new(n: usize) -> Self

pub fn set_idom(&mut self, node: usize, dom: usize)

pub fn dominates(&self, a: usize, b: usize) -> bool

pub fn children_of(&self, n: usize) -> &[usize]

pub fn depth_of(&self, n: usize) -> usize

pub fn lca(&self, a: usize, b: usize) -> usize

Trait Implementations

impl Clone for AgdaExtDomTree

fn clone(&self) -> AgdaExtDomTree

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for AgdaExtDomTree

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.