Searched refs:getVertices (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-master/isabelle/lib/browser/GraphBrowser/
H A DRegion.java25 public Enumeration getVertices() { method in class:Region
76 Enumeration e1=r2.getVertices();
81 return ((Vertex)(r2.getVertices().nextElement())).leftX()-
H A DGraphView.java133 e1=gra2.getVertices();
H A DGraph.java161 public Enumeration getVertices() { method in class:Graph
259 e1=getVertices();
/seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/
H A DRegion.java25 public Enumeration getVertices() { method in class:Region
76 Enumeration e1=r2.getVertices();
81 return ((Vertex)(r2.getVertices().nextElement())).leftX()-
H A DGraphView.java133 e1=gra2.getVertices();
H A DGraph.java161 public Enumeration getVertices() { method in class:Graph
259 e1=getVertices();

Completed in 71 milliseconds