Struct ddo::core::common::Edge

pub struct Edge {
    pub src: Arc<NodeInfo>,
    pub decision: Decision,
}

The partial assignments (derived from longest paths in the MDD) form a chained structure. This structure is made of NodeInfo inter-connected by Edges. An Edge materialises the labelled interconnection between two nodes (NodeInfos) of an MDD.

Because the chained structure is reference counted, the NodeInfo + Edge representation is very efficient as it allows to pune the tree-shaped structure and forget about paths that are no longer relevant.

Fields

src: Arc<NodeInfo>

Because an edge is owned by an endpoint (a NodeInfo), it only knows a pointer to its 'parent' node (src is that pointer to parent). The src pointer is a smart, reference counted pointer that may be used in multi-threaded contexts (uses atomic counters).

decision: Decision

decision is the field which materializes the decision taken in the parent node, which yielded the current node.

In other words, taking decision in the node owner of src should bring you to the node owning this edge.

Trait Implementations

impl Clone for Edge

fn clone(&self) -> Edge

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Edge

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

Formats the value using the given formatter.

impl Eq for Edge

impl PartialEq<Edge> for Edge

fn eq(&self, other: &Edge) -> bool

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl StructuralEq for Edge

impl StructuralPartialEq for Edge