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

/seL4-l4v-master/HOL4/tools/Holmake/tests/hollogs/
H A DchildScript.sml7 val child = save_thm("child", CONJ base (SPEC_ALL base)) value
/seL4-l4v-master/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-master/HOL4/src/1/
H A DHo_Net.sml118 val child = case check_edge(net, label) of value
/seL4-l4v-master/HOL4/src/0/
H A DNet.sml144 val child = value
258 val child = get_edge label net value
/seL4-l4v-master/HOL4/src/experimental-kernel/
H A DNet.sml141 val child = value
255 val child = get_edge label net value
/seL4-l4v-master/HOL4/src/parse/
H A DFCNet.sml132 val child = value
246 val child = get_edge label net value
/seL4-l4v-master/HOL4/src/tactictoe/src/
H A DtttBigSteps.sml95 let val child = dfind (i :: anl) argtree in value
107 let val child = root_argtree stacv i in value
/seL4-l4v-master/HOL4/src/AI/proof_search/
H A DpsMCTS.sml231 let val child = dfind cid tree in ((#sum child),(#vis child)) end value
/seL4-l4v-master/HOL4/polyml/basis/
H A DTopLevelPolyML.sml1036 val child = find(tree, Down) value
[all...]
H A DPosix.sml35 val child : syserror value
628 and child = fromWord(getConst 7) value
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A Dxwindows.cpp2269 X_Window_Object *child = FindWindow(dsHandle,children[n]); local
3713 Window child; local
3750 Window root,child; local
[all...]

Completed in 125 milliseconds