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
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