Struct DagView 

pub struct DagView<'a> { /* private fields */ }

Borrowed view of a Dag under a GraphOverlay (no adjacency clone).

Implementations

impl<'a> DagView<'a>

pub fn node_count(&self) -> usize

Node count (same as the base DAG).

pub fn dag(&self) -> &'a Dag

Base DAG.

pub fn overlay(&self) -> &'a GraphOverlay

Overlay mask.

pub fn parents_into(&self, id: DenseNodeId, out: &mut Vec<DenseNodeId>)

Collect visible parents of id into out (cleared first).

pub fn children_into(&self, id: DenseNodeId, out: &mut Vec<DenseNodeId>)

Collect visible children of id into out (cleared first).

pub fn ancestors_of( &self, nodes: &[DenseNodeId], out: &mut BitSet, ws: &mut GraphWorkspace, )

Ancestors under the overlay (including seeds).

pub fn descendants_of( &self, nodes: &[DenseNodeId], out: &mut BitSet, ws: &mut GraphWorkspace, )

Descendants under the overlay (including seeds).

pub fn is_d_separated( &self, x: DenseNodeId, y: DenseNodeId, z: &[DenseNodeId], ws: &mut DSeparationWorkspace, ) -> Result<bool, GraphError>

d-separation on the overlay view (boolean; no path alloc).

Errors

Unknown node ids.

pub fn d_separation( &self, x: DenseNodeId, y: DenseNodeId, z: &[DenseNodeId], ws: &mut DSeparationWorkspace, ) -> Result<SeparationResult, GraphError>

d-separation with witness on the overlay view.

Errors

Unknown node ids.

pub fn materialize(&self) -> Result<Dag, GraphError>

Materialize a concrete Dag with only visible edges (nodes preserved).

Errors

Node-count overflow (should not occur for a valid base DAG).

Trait Implementations

impl<'a> Clone for DagView<'a>

fn clone(&self) -> DagView<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Copy for DagView<'a>

impl<'a> Debug for DagView<'a>

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

Formats the value using the given formatter.