Returns the nodes in the dominance frontier of the given node.
Creates a dot graph which depicts the underlying graphs dominance frontiers.
Creates a dot graph which depicts the underlying graphs dominance frontiers.
A function that returns true if the given int value
identifies a valid node. If the underlying graph is not a sparse
graph; i.e., if every index in the range [0...maxNode] identifies
a valid node then the default function, which always returns true
can be used.