Struct AgdaX2DepGraph 

pub struct AgdaX2DepGraph { /* private fields */ }

Dependency graph for AgdaX2.

Implementations

impl AgdaX2DepGraph

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 AgdaX2DepGraph

fn clone(&self) -> AgdaX2DepGraph

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AgdaX2DepGraph

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

Formats the value using the given formatter.