Searched defs:rightX (Results 1 - 6 of 6) sorted by relevance
/seL4-l4v-master/isabelle/lib/browser/GraphBrowser/ | ||
H A D | DummyVertex.java | 25 public int rightX() { return getX(); } method in class:DummyVertex |
H A D | NormalVertex.java | 64 public int rightX() { return getX()+box_width2(); } method in class:NormalVertex |
H A D | Vertex.java | 196 public abstract int rightX(); method in class:Vertex |
/seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/ | ||
H A D | DummyVertex.java | 25 public int rightX() { return getX(); } method in class:DummyVertex |
H A D | NormalVertex.java | 64 public int rightX() { return getX()+box_width2(); } method in class:NormalVertex |
H A D | Vertex.java | 196 public abstract int rightX(); method in class:Vertex |
Completed in 34 milliseconds