comparison THIRD_PARTY_README @ 7124:ab65fa23f8e9

Remove overloading of filter(Class<F>) in NodeIterable<Node> returned by Graph.getNodes() : getNodes().filter(MergeNode.class) is not the same as getNodes(MergeNode.class)
author Gilles Duboscq <duboscq@ssw.jku.at>
date Mon, 03 Dec 2012 13:56:13 +0100
parents f6ba9007b2c6
children 9a48187fef5e
comparison
equal deleted inserted replaced
7123:b914b9b4c578 7124:ab65fa23f8e9