Searched refs:setDir (Results 1 - 6 of 6) sorted by relevance
/seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/ | ||
H A D | Vertex.java | 84 public void setDir(String d) {} method in class:Vertex |
H A D | NormalVertex.java | 60 public void setDir(String d) { dir=d; } method in class:NormalVertex |
H A D | Graph.java | 105 ve1.setDir(dir); |
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/ | ||
H A D | Vertex.java | 84 public void setDir(String d) {} method in class:Vertex |
H A D | NormalVertex.java | 60 public void setDir(String d) { dir=d; } method in class:NormalVertex |
H A D | Graph.java | 105 ve1.setDir(dir); |
Completed in 95 milliseconds