equal
deleted
inserted
replaced
67 path[bfs.predEdge(node)] = true; |
67 path[bfs.predEdge(node)] = true; |
68 } |
68 } |
69 |
69 |
70 graphToEps(filtered, "grid_graph_demo.eps").scaleToA4(). |
70 graphToEps(filtered, "grid_graph_demo.eps").scaleToA4(). |
71 title("Grid graph"). |
71 title("Grid graph"). |
72 copyright("(C) 2005 LEMON Project"). |
72 copyright("(C) 2006 LEMON Project"). |
73 coords(scaleMap(indexMap(graph), 10)). |
73 coords(scaleMap(indexMap(graph), 10)). |
74 enableParallel(). |
74 enableParallel(). |
75 nodeScale(0.5). |
75 nodeScale(0.5). |
76 drawArrows(). |
76 drawArrows(). |
77 edgeColors(composeMap(ColorSet(), path)). |
77 edgeColors(composeMap(ColorSet(), path)). |