Utility methods to automatically generate and keep track of a mapping between node labels and Nodes.
Graph construction monad; handles passing both the NodeMap and the Graph.
generate list of labeled nodes
generate list of unlabeled nodes
Determine the number of all nodes in a given term
Show more results