Struct WNode 

pub struct WNode<A: Clone, B: Clone + Ord> { /* private fields */ }

W-type node: a well-founded tree where each node has a label of type A and a (possibly empty) family of children indexed by B(label).

Implementations

impl<A: Clone, B: Clone + Ord> WNode<A, B>

pub fn leaf(label: A) -> Self

Construct a leaf node (no children).

pub fn node(label: A, children: BTreeMap<B, WNode<A, B>>) -> Self

Construct an interior node with the given children.

pub fn label(&self) -> &A

Access the label of this node.

pub fn arity(&self) -> usize

Number of immediate children.

pub fn height(&self) -> usize

Compute the height of the W-tree (maximum depth).

pub fn size(&self) -> usize

Count the total number of nodes in the tree.

pub fn map_labels<C: Clone>(&self, f: &impl Fn(&A) -> C) -> WNode<C, B>

Map a function over all node labels.

pub fn fold<R: Clone>(&self, f: &impl Fn(&A, Vec<R>) -> R) -> R

Fold over the tree in a bottom-up manner.

Trait Implementations

impl<A: Clone + Clone, B: Clone + Clone + Ord> Clone for WNode<A, B>

fn clone(&self) -> WNode<A, B>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<A: Debug + Clone, B: Debug + Clone + Ord> Debug for WNode<A, B>

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

Formats the value using the given formatter.