518       edge_property& previousEdge = *previousEdgeP;  in writeGraph()  local
520       if(previousEdge.first.high() == edge.first.low()) {  in writeGraph()
522         insertEdges(graph, edge.second.first, previousEdge.second.first);  in writeGraph()
524         insertEdges(graph, edge.second.first, previousEdge.second.second);  in writeGraph()
526         insertEdges(graph, edge.second.second, previousEdge.second.second);  in writeGraph()
528         insertEdges(graph, edge.second.second, previousEdge.second.first);  in writeGraph()
532           propertySetAbove(previousEdge.first.high(), ps, scanline);  in writeGraph()
533           insertEdges(graph, ps, previousEdge.second.first);  in writeGraph()
534           insertEdges(graph, ps, previousEdge.second.second);  in writeGraph()
550     edge_property& previousEdge = *previousEdgeP;  in writeGraph()  local
551     propertySetAbove(previousEdge.first.high(), ps, scanline);  in writeGraph()
552     insertEdges(graph, ps, previousEdge.second.first);  in writeGraph()
553     insertEdges(graph, ps, previousEdge.second.second);  in writeGraph()