public class Z0Edge extends org.jgrapht.graph.DefaultWeightedEdge
Z0Edge(Line line)
Line
getLine()
protected double
getWeight()
getSource, getTarget, toString
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public Z0Edge(Line line)
public Line getLine()
protected double getWeight()
getWeight
org.jgrapht.graph.DefaultWeightedEdge