Searched refs:vertices (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-master/isabelle/lib/browser/GraphBrowser/
H A DRegion.java16 Vector vertices=new Vector(10,10); field in class:Region
22 vertices.addElement(v);
26 return vertices.elements();
32 Enumeration e1=vertices.elements();
51 Enumeration e1=vertices.elements();
68 Enumeration e1=vertices.elements();
82 ((Vertex)(vertices.lastElement())).rightX()-
H A DGraph.java23 Vector vertices=new Vector(10,10); field in class:Graph
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
[all...]
/seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/
H A DRegion.java16 Vector vertices=new Vector(10,10); field in class:Region
22 vertices.addElement(v);
26 return vertices.elements();
32 Enumeration e1=vertices.elements();
51 Enumeration e1=vertices.elements();
68 Enumeration e1=vertices.elements();
82 ((Vertex)(vertices.lastElement())).rightX()-
H A DGraph.java23 Vector vertices=new Vector(10,10); field in class:Graph
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
[all...]

Completed in 35 milliseconds