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

/seL4-l4v-master/isabelle/lib/browser/GraphBrowser/
H A DRegion.java21 public void addVertex(Vertex v) { method in class:Region
77 while (e1.hasMoreElements()) addVertex((Vertex)(e1.nextElement()));
H A DGraph.java43 gr.addVertex((Vertex)(((Vertex)(e1.nextElement())).clone()));
102 addVertex(ve1);
124 addVertex(ve2);
152 public void addVertex(Vertex v) { method in class:Graph
321 addVertex(v3);
565 r.addVertex((Vertex)(e2.nextElement()));
988 if (nonempty) addVertex(vx1);
/seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/
H A DRegion.java21 public void addVertex(Vertex v) { method in class:Region
77 while (e1.hasMoreElements()) addVertex((Vertex)(e1.nextElement()));
H A DGraph.java43 gr.addVertex((Vertex)(((Vertex)(e1.nextElement())).clone()));
102 addVertex(ve1);
124 addVertex(ve2);
152 public void addVertex(Vertex v) { method in class:Graph
321 addVertex(v3);
565 r.addVertex((Vertex)(e2.nextElement()));
988 if (nonempty) addVertex(vx1);

Completed in 87 milliseconds