Searched refs:touching (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-master/isabelle/lib/browser/GraphBrowser/
H A DRegion.java86 public boolean touching(Region r2) { method in class:Region
H A DGraph.java581 if (r1.touching(r2) && (d1 <= 0 && d2 < d1 ||
/seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/
H A DRegion.java86 public boolean touching(Region r2) { method in class:Region
H A DGraph.java581 if (r1.touching(r2) && (d1 <= 0 && d2 < d1 ||
/seL4-l4v-master/HOL4/src/pattern_matches/
H A DpatternMatchesSyntax.sig102 touching the concrete patterns or right-hand-sides.
/seL4-l4v-master/HOL4/src/probability/
H A DmartingaleScript.sml1639 (* expanding D without touching assumptions *)
1967 (* expanding D without touching assumptions *)
H A DlebesgueScript.sml1867 (* expand `pos_simple_fn` without touching the goal *)

Completed in 129 milliseconds