Searched defs:overlaps (Results 1 - 2 of 2) sorted by relevance
| /seL4-l4v-master/seL4/tools/hardware/ | ||
| H A D | memory.py | 48 def overlaps(self, other): member in class:Region |
| /seL4-l4v-master/HOL4/src/1/ | ||
| H A D | Drule.sml | 2120 fun overlaps fvset (tfvs,_) = function |
Completed in 51 milliseconds