Searched defs:min_y (Results 1 - 2 of 2) sorted by path

/seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/
H A DGraph.java28 public int min_x=0,min_y=0,max_x=10,max_y=10; field in class:Graph
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/
H A DGraph.java28 public int min_x=0,min_y=0,max_x=10,max_y=10; field in class:Graph
[all...]

Completed in 66 milliseconds