GraphRewriting.Graph.Types
Documentation
Hypergraph that holds nodes of type n
. Nodes can be referenced by type Node
, edges by type Edge
, see GraphRewriting.Graph.Read and GraphRewriting.Graph.Write
graph-rewriting-0.5.2: Monadic graph rewriting of hypergraphs with ports and multiedges
GraphRewriting.Graph.Types
Hypergraph that holds nodes of type n
. Nodes can be referenced by type Node
, edges by type Edge
, see GraphRewriting.Graph.Read and GraphRewriting.Graph.Write