Struct AgdaDepGraph 

pub struct AgdaDepGraph { /* private fields */ }

Implementations

impl AgdaDepGraph

pub fn new() -> Self

pub fn add_node(&mut self, id: u32)

pub fn add_dep(&mut self, dep: u32, dependent: u32)

pub fn dependents_of(&self, node: u32) -> Vec<u32>

pub fn dependencies_of(&self, node: u32) -> Vec<u32>

pub fn topological_sort(&self) -> Vec<u32>

pub fn has_cycle(&self) -> bool

Trait Implementations

impl Clone for AgdaDepGraph

fn clone(&self) -> AgdaDepGraph

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AgdaDepGraph

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

Formats the value using the given formatter.