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