Struct GraphWithData 

pub struct GraphWithData {
    pub data: GraphDataMap,
    pub graph: RewriteGraph,
}

A graph with all its data

Fields

data: GraphDataMap

graph: RewriteGraph

Implementations

impl GraphWithData

pub fn from_arrow_list(q: Quiver) -> Self

Construct a graph from a quiver of arrows.

pub fn dot<'a>(&'a self) -> Dot<'a, &'a Graph<String, String>>

Get a graphviz representation of this graph

pub fn find_cycles<'a>(&'a self) -> Vec<Cycle<'a>>

pub fn has_cycles(&self) -> bool

pub fn sources(&self) -> Vec<&NodeIndex>

Find nodes with in-degree 0

pub fn sinks(&self) -> Vec<&NodeIndex>

Find nodes with out-degree 0

pub fn find_transformations(&self) -> Vec<Arrow>

Find transformations to apply