Searched defs:count (Results 51 - 75 of 75) sorted by relevance

123

/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/
H A DMenu.sml560 let val count = List.length mlist value
H A DBase.sml877 val count = List.length l value
/seL4-l4v-10.1.1/HOL4/examples/ARM/v4/mlton/
H A DevalML.sml528 val count = ref 0; value
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Dprofiling.cpp117 POLYUNSIGNED count; member in struct:_PROFENTRY
243 POLYUNSIGNED count = profCount->Get(0).AsUnsigned(); local
[all...]
H A Dglobals.h341 GetConstSegmentForCode(Length(), cp, count); local
345 PolyWord *cp; POLYUNSIGNED count; local
H A Dprocesses.cpp2257 unsigned count = 0; local
[all...]
H A Dxwindows.cpp2408 int count; local
3027 PolyWord count; /* ML int */ member in struct:__anon98
3054 PolyWord count; /* ML int */ member in struct:__anon101
4477 int count; local
5094 int count; local
5134 int count; local
5159 int count; local
5617 int count; local
5657 int count; local
5683 int count; local
[all...]
/seL4-l4v-10.1.1/seL4/src/plat/pc99/machine/
H A Dacpi.c293 uint32_t count; local
397 uint32_t count; local
438 uint32_t count; local
[all...]
/seL4-l4v-10.1.1/HOL4/examples/acl2/tests/inputs/
H A Dm1-story.lisp
/seL4-l4v-10.1.1/HOL4/src/metis/
H A DmlibModel.sml422 fun count m fm = function
/seL4-l4v-10.1.1/HOL4/examples/machine-code/compiler/
H A Dreg_allocLib.sml457 fun count v (FUN_VAL tm) s = occ v tm s function
[all...]
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DKeyMap.sml1296 fun count pred = function
H A DMap.sml1288 fun count pred = function
H A DNormalize.sml65 datatype count = Count of {positive : logReal, negative : logReal}; type
273 fun count True = countTrue function
[all...]
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DKeyMap.sml1296 fun count pred = function
H A DMap.sml1288 fun count pred = function
H A DNormalize.sml65 datatype count = Count of {positive : logReal, negative : logReal}; type
273 fun count True = countTrue function
[all...]
/seL4-l4v-10.1.1/HOL4/src/emit/
H A Dbasis_emitScript.sml496 "val count : num -> num set", value
/seL4-l4v-10.1.1/HOL4/tools/mllex/
H A Dmllex.sml930 val count = ref 0 value
/seL4-l4v-10.1.1/graph-refine/
H A Dsolver.py203 count = [0] variable
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/m0/model/
H A Dm0.sig191 val count: Nat.nat ref value
H A Dm0.sml488 val count = ref (0): Nat.nat ref value
1130 val count = ref 0 value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/ARM/v7/
H A Darm_parserLib.sml3098 let val count = bit_count list in value
3173 val count = bit_count list value
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/x64/model/
H A Dx64.sml1008 val count = value
/seL4-l4v-10.1.1/HOL4/src/datatype/
H A Dind_types.sml302 val count = ref 0 value

Completed in 257 milliseconds

123