A wrapper around Graph to assist diffing.
A directed graph edge
Graph represents a directed graph as a list of nodes and list of edges.
A collection of graphs.
A graph node
NodeStyle defines some style of Node
Matches both graphs and returns the mapping of nodes from g1 to g2
Returns a MultiGraph containing the diff of the two graphs. To be visualized with dot.