Searched refs:Half (Results 1 - 5 of 5) sorted by relevance
| /barrelfish-master/include/sys/ |
| H A D | elf_generic.h | 59 __ElfType(Half); variable
|
| /barrelfish-master/lib/cxx/unwind/ |
| H A D | AddressSpace.cpp | 177 typedef ElfW(Half) Elf_Half;
|
| /barrelfish-master/usr/eclipseclp/Kernel/lib/ |
| H A D | queens.pl | 237 Half is Size // 2,
239 halve(Half, List, [], L1, L2),
|
| H A D | environment.pl | 540 Half is (length(FList) + 1) // 2,
541 halve(Half, FList, L1, L2),
|
| /barrelfish-master/usr/eclipseclp/documents/libman/ |
| H A D | gfd.tex | 345 {\em full reification} for reified constraints. Half verification
|
Completed in 98 milliseconds