DirectionTransformer.toDirected explicitly creates a DirectedGraph. It would be more convenient if it also explicitly returns this more specific type.
DirectionTransformer.toUndirected already does this (but obviously returns an UndirectedGraph).
Log in to post a comment.