WeightedEdge abstraction about jgraphl HOT 2 OPEN

(In reply to comment #0)

So do we have to declare WeightedEdge to always use double for weights??

That is how JGraphT does it (see DefaultWeightedEdge). I think this ok, since every metric on a graph is a mapping V x V -> real numbers.

from jgraphl.

Double is not really satisfying, as I can easily imagine integers, magnitudes with units or even more abstract magnitudes as weights. Of course you can say this can be mapped to real numbers, unfortunately doubles are not real numbers: just think of the problems with precision that doubles have.
Furthermore you just lose type information when doing this mapping.

So I'm not pleased with limiting weights to doubles at all :-(

from jgraphl.