[jgrapht-users] EdgeReversedGraph does not modify edgeSet.

[Luis P. <pu...@gm...>]

Hi,

I have been using JGraphT for some graph related activities and I love it.
Nonetheless, I seem to have found an inconsistency.

When I create an EdgeReversedGraph, the edgeSet() is not reversed. Is this a
bug? Would you like me to cook up a patch?

Also, while I'm at it... I need to be able to tell if two graphs are equal.
Is it enough to compare the vertexSet()s and the edgeSet()s of both graphs?
If you'd like, I can submit a patch that implements equals() and hashCode()
for graphs.

Thanks!

Luís Pureza