Searched refs:binary_search (Results 1 - 4 of 4) sorted by relevance
| /seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/ |
| H A D | binary_search.c | 15 unsigned binary_search(unsigned *x, unsigned n, unsigned v) function
|
| /seL4-l4v-10.1.1/isabelle/src/Tools/Graphview/ |
| H A D | shapes.scala | 185 def binary_search(line: (Point, Point), shape: Shape): Option[AffineTransform] =
200 binary_search(((mx, my), (tx, ty)), shape)
202 binary_search(((fx, fy), (mx, my)), shape)
209 case Some(line) => binary_search(line, shape)
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Graphview/ |
| H A D | shapes.scala | 185 def binary_search(line: (Point, Point), shape: Shape): Option[AffineTransform] =
200 binary_search(((mx, my), (tx, ty)), shape)
202 binary_search(((fx, fy), (mx, my)), shape)
209 case Some(line) => binary_search(line, shape)
|
| /seL4-l4v-10.1.1/HOL4/examples/separationLogic/src/holfoot/ |
| H A D | selftest.sml | 42 (* val _ = test_file "binary_search-shape.dsf"; *)
|
Completed in 48 milliseconds