Searched refs:spaceBetween (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-master/isabelle/lib/browser/GraphBrowser/
H A DRegion.java80 public int spaceBetween(Region r2) { method in class:Region
87 return spaceBetween(r2)==0;
H A DGraph.java597 ((Region)(l.elementAt(i-1))).spaceBetween(r1),-d1);
599 r1.spaceBetween((Region)(l.elementAt(i+1))),d1);
/seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/
H A DRegion.java80 public int spaceBetween(Region r2) { method in class:Region
87 return spaceBetween(r2)==0;
H A DGraph.java597 ((Region)(l.elementAt(i-1))).spaceBetween(r1),-d1);
599 r1.spaceBetween((Region)(l.elementAt(i+1))),d1);

Completed in 89 milliseconds