Struct SpecExtDepGraph 

pub struct SpecExtDepGraph { /* private fields */ }

Dependency graph for SpecExt.

Implementations

impl SpecExtDepGraph

pub fn new(n: usize) -> Self

pub fn add_edge(&mut self, from: usize, to: usize)

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

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

pub fn topo_sort(&self) -> Option<Vec<usize>>

pub fn has_cycle(&self) -> bool

pub fn reachable(&self, start: usize) -> Vec<usize>

pub fn scc(&self) -> Vec<Vec<usize>>

pub fn node_count(&self) -> usize

pub fn edge_count(&self) -> usize

Trait Implementations

impl Clone for SpecExtDepGraph

fn clone(&self) -> SpecExtDepGraph

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SpecExtDepGraph

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

Formats the value using the given formatter.