graph-rewriting-0.6.0: Monadic graph rewriting of hypergraphs with ports and multiedges

GraphRewriting.Rule.Internal

Synopsis

mergeEs :: View [Port] n => [Edge] -> State (Graph n) ()Source

type Set = IntSetSource

joinEdges :: [[Edge]] -> [[Edge]]Source

join :: [Set] -> [Set]Source

Join pairs of sets with a common element until all sets are disjoint.

join1 :: Set -> [Set] -> [Set]Source

Add to a list of disjoint sets a further set and join sets with common elements such that the resulting list again only contains disjoint sets.