Lines Matching refs:vertices
23 Vector vertices=new Vector(10,10);
41 e1=vertices.elements();
45 for (i=0;i<vertices.size();i++) {
46 Vertex vx1=(Vertex)(gr.vertices.elementAt(i));
47 e1=((Vertex)(vertices.elementAt(i))).getChildren();
49 Vertex vx2=(Vertex)(gr.vertices.elementAt(vertices.indexOf(e1.nextElement())));
54 gr.vertices2 = new Vertex[vertices.size()];
55 gr.vertices.copyInto(gr.vertices2);
134 vertices2 = new Vertex[vertices.size()];
135 vertices.copyInto(vertices2);
141 Enumeration e1=vertices.elements();
153 vertices.addElement(v);
158 vertices.removeElement(v);
162 return vertices.elements();
186 Enumeration e1=vertices.elements();
204 Vector todo=(Vector)(vertices.clone());
210 e1=vertices.elements();
214 e1=vertices.elements();
254 int vs=vertices.size();
265 j=vertices.indexOf(vx2);
284 vx1=(Vertex)(vertices.elementAt(i));
285 vx2=(Vertex)(vertices.elementAt(j));
295 /* insert dummy vertices */
360 /* calculation of crossings where vertices vx1 and vx2 are involved */
406 /* reduction of crossings by exchanging adjacent vertices */
715 Enumeration e2,e1=vertices.elements();
848 Enumeration e1=vertices.elements();
873 Enumeration e1=vertices.elements();
887 Enumeration e1=vertices.elements();
896 /* encode list of vertices (as array of vertice numbers) */
916 Enumeration e1=vertices.elements();
926 /* decode list of vertices */
943 /* collapse vertices */
951 e1=vertices.elements();
1039 Enumeration e1=vertices.elements();