Searched defs:child (Results 1 - 10 of 10) sorted by relevance

/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/minisat/
H A DHeap.h54 int child = right(i) < heap.size() && comp(heap[right(i)],heap[left(i)]) ? right(i) : left(i); local
/seL4-l4v-10.1.1/HOL4/src/1/
H A DHo_Net.sml116 val child = case check_edge(net, label) of value
/seL4-l4v-10.1.1/HOL4/src/0/
H A DNet.sml144 val child = value
258 val child = get_edge label net value
/seL4-l4v-10.1.1/HOL4/src/experimental-kernel/
H A DNet.sml141 val child = value
255 val child = get_edge label net value
/seL4-l4v-10.1.1/HOL4/src/parse/
H A DFCNet.sml132 val child = value
246 val child = get_edge label net value
/seL4-l4v-10.1.1/seL4/src/plat/spike/machine/
H A Dfdt.c117 struct fdt_scan_node child; local
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DTopLevelPolyML.sml1036 val child = find(tree, Down) value
[all...]
H A DPosix.sml35 val child : syserror value
633 and child = fromWord(getConst 7) value
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/
H A Ddlmalloc.c1866 struct malloc_tree_chunk* child[2]; member in struct:malloc_tree_chunk
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dxwindows.cpp2269 X_Window_Object *child = FindWindow(dsHandle,children[n]); local
3711 Window child; local
3748 Window root,child; local
[all...]

Completed in 124 milliseconds