DepthSegment ds = new DepthSegment(seg, depth); stabbedSegments.add(ds);
private SubgraphDepthLocater.DepthSegment depthSeg(double x0, double y0, double x1, double y1) { return new SubgraphDepthLocater.DepthSegment(new LineSegment(x0,y0,x1,y1), 0); }