Searched defs:gc (Results 1 - 8 of 8) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/src/integer/testing/ |
| H A D | test_cases.sml | 15 val gc = Timer.checkGCTime timer value
|
| /seL4-l4v-10.1.1/HOL4/src/portableML/poly/ |
| H A D | MLSYSPortable.sml | 47 val gc = Timer.checkGCTime c value
|
| /seL4-l4v-10.1.1/HOL4/src/portableML/ |
| H A D | Profile.sml | 104 val gc = Time.toString gc value
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | heapsizing.cpp | 266 TIMEDATA gc, nonGc; local
447 TIMEDATA gc, total; local
[all...] |
| H A D | xwindows.cpp | 494 GC *gc; /* Token for C value */ member in class:X_GC_Object
873 GC gc = *G->gc; local
1422 GC *gc = (GC *)DEREFHANDLE(GCHandle); local
1504 GC *gc = (GC *)DEREFHANDLE(GCHandle); local
2675 PutImage( Display *d, Drawable drawable, GC gc, XImage *image, int sx, int sy, int dx, int dy, unsigned dw, unsigned dh ) argument
3906 SetClipRectangles( TaskData *taskData, Display *d, GC gc, int x, int y, Handle list, unsigned order ) argument
3937 SetDashes( TaskData *taskData, Display *d, GC gc, unsigned offset, Handle list ) argument
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/quantHeuristics/ |
| H A D | quantHeuristicsLibParameters.sml | 353 val gc = QUANT_INSTANTIATE_HEURISTIC___one_case thm0 sys v t value
383 val gc = guess_collection_flatten gcL value
|
| H A D | quantHeuristicsLibBase.sml | 582 val gc = value
1231 val gc:guess_collection = sys v b value
1601 val gc:guess_collection = sys v' t'; value
1925 val gc = guess_collection_flatten (gcL_s @ gcL_w) value
1987 val gc = QUANT_INSTANTIATE_HEURISTIC___STRENGTHEN_WEAKEN [ithm6] sys (v:term) t value
2000 val gc = {rewrites = [], value
2024 val gc = get_direct_matches_gc neg dneg i P thm''; value
2041 val gc = guess_collection_flatten (map (try_single_thm try_imps sys vset v t v' t') thmL) value
2398 val gc = Redblackmap.find (t_cache,v); value
2427 val gc = guess_collection_flatten gcL; value
2497 val gc = if (isSome gc_opt) then valOf gc_opt else value
2500 val gc = COMBINE_HEURISTIC_FUNS hL; value
2513 val gc = COMBINE_HEURISTIC_FUNS (hLc); value
2517 val gc = correct_guess_collection v t (guess_collection_clean (guess_collection_append gc gc_context)); value
2518 val gc = filter_guess_collection inst_filterL v t gc; value
[all...] |
| /seL4-l4v-10.1.1/HOL4/src/prekernel/ |
| H A D | Lib.sml | 375 val gc = Timer.checkGCTime timer value
|
Completed in 121 milliseconds