Searched refs:setID (Results 1 - 6 of 6) sorted by relevance
| /seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/ | ||
| H A D | NormalVertex.java | 22 ve.setID(ID); 50 public void setID(String s) { ID=s; } method in class:NormalVertex |
| H A D | Vertex.java | 66 public void setID(String s) {} method in class:Vertex |
| H A D | Graph.java | 100 ve1.setID(vertexID); 122 ve2.setID(tok.sval); |
| /seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/ | ||
| H A D | NormalVertex.java | 22 ve.setID(ID); 50 public void setID(String s) { ID=s; } method in class:NormalVertex |
| H A D | Vertex.java | 66 public void setID(String s) {} method in class:Vertex |
| H A D | Graph.java | 100 ve1.setID(vertexID); 122 ve2.setID(tok.sval); |
Completed in 103 milliseconds