Lines Matching defs:gra
19 Graph gra, gra2;
37 public Graph getGraph() { return gra; }
44 gra=(Graph)(gra2.clone());
53 Graph gra3 = (Graph)gra.clone();
60 gra.draw(g);
62 size = new Dimension(gra.max_x-gra.min_x, gra.max_y-gra.min_y);
74 int x = evt.getX() + gra.min_x;
75 int y = evt.getY() + gra.min_y;
77 Vertex v2=gra.vertexAt(x,y);
80 g.translate(-gra.min_x,-gra.min_y);
149 gra.layout(g);
157 Vertex vx=gra.getVertexByNum(n);
162 int x = vx.getX()-gra.min_x;
163 int y = vx.getY()-gra.min_y;
171 g.translate(-gra.min_x,-gra.min_y);
185 gra=(Graph)(gra2.clone());
189 Vector v2=gra.decode(v1);
190 if (!v2.isEmpty()) gra.collapse(v2,"[. . . .]",v1);
197 Vector v=gra.decode(d.getCollapsed());
199 gra.collapse(v,"["+d.getName()+"]",d.getCollapsed());
206 int x = evt.getX() + gra.min_x;
207 int y = evt.getY() + gra.min_y;
262 g.translate(-gra.min_x,-gra.min_y);