Enum DblNode

pub enum DblNode<E, Sq> {
    Cell(Sq),
    Spine(E),
}

A node in a double tree.

More precisely, this is the type of values carried by nodes in a double tree.

Variants

Cell(Sq)

A generic cell, given by a square in a virtual double graph.

Spine(E)

An edge on the boundary of the double tree.

In a well-formed double tree, each spine node must be a child of a nullary cell or of another spine node. Spines represent the operation of precomposing a nullary cell with an arrow to obtain another nullary cell, a degenerate case of composition in a virtual double category.

Implementations

impl<E, Sq> DblNode<E, Sq>

pub fn dom<V, ProE>( &self, graph: &impl VDblGraph<V = V, E = E, ProE = ProE, Sq = Sq>, ) -> Path<V, ProE>

Domain of node in the given virtual double graph.

Returns a path of arbitrary length.

pub fn cod<V, ProE>( &self, graph: &impl VDblGraph<V = V, E = E, ProE = ProE, Sq = Sq>, ) -> Path<V, ProE>

Codomain of node in the given virtual double graph.

Returns a path of length at most one.

pub fn src(&self, graph: &impl VDblGraph<E = E, Sq = Sq>) -> E

where E: Clone,

Source of node in the given virtual double graph.

pub fn tgt(&self, graph: &impl VDblGraph<E = E, Sq = Sq>) -> E

where E: Clone,

Target of node in the given virtual double graph.

pub fn arity(&self, graph: &impl VDblGraph<E = E, Sq = Sq>) -> usize

Arity of node in the given virtual double graph.

pub fn contained_in(&self, graph: &impl VDblGraph<E = E, Sq = Sq>) -> bool

Is the node contained in the given virtual double graph?

Trait Implementations

impl<E: Clone, Sq: Clone> Clone for DblNode<E, Sq>

fn clone(&self) -> DblNode<E, Sq>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<E: Debug, Sq: Debug> Debug for DblNode<E, Sq>

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

Formats the value using the given formatter.

impl<E: PartialEq, Sq: PartialEq> PartialEq for DblNode<E, Sq>

fn eq(&self, other: &DblNode<E, Sq>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<E: Eq, Sq: Eq> Eq for DblNode<E, Sq>

impl<E, Sq> StructuralPartialEq for DblNode<E, Sq>