/barrelfish-master/usr/eclipseclp/documents/userman/ |
H A D | umsprofile.tex | 37 %{\eclipse} contains two profiling tools that permit to collect statistics 47 %the second tool is the {\it statistics} tool which collects 48 %for each called predicate the statistics about its behaviour 68 and then it prints the statistics about the time spent 145 %The statistics tool is predicate based. 146 %The user can switch on statistics collection 149 %The statistics tool is closely related to the debugger. 155 %A sample output from the statistics tool looks like this: 171 %The relation between the debugger ports and the statistics counters is as 188 %the statistics too [all...] |
H A D | umsmemory.tex | 43 \bipref{statistics/2}{../bips/kernel/env/statistics-2.html} and 44 \bipref{statistics/0}{../bips/kernel/env/statistics-0.html} prints a summary of 49 [eclipse 1]: statistics. 83 statistics built-in was called. The \notation{allocated} value is the 138 \bipref{statistics/0,2}{../bips/kernel/env/statistics-0.html}. 316 If you suspect this, you should call \predspec{statistics/0} and check 338 \item [statistics(gc_numbe [all...] |
H A D | umsparallel.tex | 170 statistics(session_time, T) 309 \item Timing statistics: The values returned by the \bip{statistics(times,_)} 313 the {\tt statistics(session_time,Time)} builtin. It is envisaged that the the
|
H A D | umsopsys.tex | 117 The \bipref{statistics/2}{../bips/kernel/env/statistics-2.html} built-in gives 123 [eclipse 1]: statistics(times, Used).
|
H A D | umsusing.tex | 314 This tool displays some statistics about memory and CPU usage of the 317 \bipref{statistics/0}{../bips/kernel/env/statistics-0.html} and 318 \bipref{statistics/2}{../bips/kernel/env/statistics-2.html} predicates.
|
H A D | umsflags.tex | 398 \idxnewitem{statistics} 406 selected with {\bf set_flag/3} or \bipref{statistics/2}{../bips/kernel/env/statistics-2.html}. {\tt mode} is like
|
/barrelfish-master/usr/eclipseclp/GecodeInterface/ |
H A D | gfd.hpp | 195 virtual Search::Statistics statistics(void) const = 0; 209 virtual Search::Statistics statistics(void) const { function in class:GecodeDFS 210 return e.statistics(); 227 virtual Search::Statistics statistics(void) const { function in class:GecodeBAB 228 return e.statistics(); 246 virtual Search::Statistics statistics(void) const { function in class:GecodeRBS 247 return e.statistics(); 299 Search::Statistics statistics(void) const { function in class:GecodeSearch 300 return sengine->statistics();
|
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | quintus.pl | 116 <DT>statistics/0, 2 118 particular the meaning of the memory statistics is approximate, 189 statistics/0, 190 statistics/2, 323 statistics/0, 324 statistics/2, 1040 statistics(runtime, TotalLast) :- 1041 eclipse_language:statistics(runtime, TotalLast). 1042 statistics(system_time, [Total,Last]) :- 1043 eclipse_language:statistics(time 1105 statistics :- label [all...] |
H A D | statistics.pl | 26 % Version: $Id: statistics.pl,v 1.1 2008/06/30 17:43:49 jschimpf Exp $ 34 * IDENTIFICATION: statistics.pl 41 :- module(statistics).
|
H A D | environment.pl | 43 * statistics/0 44 * statistics/1 45 * statistics/2 55 statistics/0, 56 statistics/1, 57 statistics/2, 175 %do_get_flag(statistics, mode, _) :- getval(mode, on). % must be first 176 %do_get_flag(statistics, X, _) :- getval(statistics, X). 470 do_set_flag(statistics, _ 720 statistics :- label [all...] |
H A D | elipsys.pl | 763 statistics(session_time, NowS), 769 statistics(times, [_,NowS,_]), 775 statistics(times, [NowS,_,_]), 781 statistics(times,[_User,System,_Elapsed]), 785 statistics(times,[User,_System,_Elapsed]), 789 statistics(session_time,Ts), 793 statistics(session_time,Ts), 799 statistics(session_time,T0), 801 statistics(session_time,T1), 807 statistics(session_tim [all...] |
H A D | t_all.pl | 51 statistics/2. 61 % Dummy definitions for cputime/1 and statistics/2 66 statistics(runtime, [0, 0]).
|
H A D | tracer_tcl.pl | 1868 % statistics reporting 1897 statistics(global_stack_allocated, GAlloc), 1898 statistics(global_stack_used, GUsed), 1899 statistics(global_stack_peak, GPeak), 1900 statistics(trail_stack_allocated, TAlloc), 1901 statistics(trail_stack_used, TUsed), 1902 statistics(trail_stack_peak, TPeak), 1904 statistics(local_stack_allocated, LAlloc), 1905 statistics(local_stack_used, LUsed), 1906 statistics(local_stack_pea [all...] |
H A D | stat.pl | 31 % of virtual machine statistics with SEPIA. 57 % pretty-prints the instruction statistics. 68 % pretty-prints the instruction pair statistics. 161 writeln('SEPIA abstract machine instruction statistics'), 304 writeln('SEPIA abstract machine instruction pair statistics'),
|
H A D | par_util.pl | 162 % Parallel statistics
|
H A D | modes.pl | 140 statistics(global_stack_used, G), 1012 builtin(statistics, [statistics]). 1013 builtin(statistics(_,_), [statistics(++,++)]).
|
H A D | profile.pl | 110 % Collect the statistics
|
H A D | cprolog.pl | 362 heapused(X) :- X is statistics(general_heap_used) + statistics(code_heap_used).
|
/barrelfish-master/usr/eclipseclp/Kernel/src/ |
H A D | sch_util.c | 181 pword *cur_mc, *prev_mc, *cur_tail, *cur_head, *statistics; local 300 statistics = cur_mc; 546 /* pack states and statistics together */ 554 Make_List(cur_head, statistics);
|
/barrelfish-master/usr/skb/programs/ |
H A D | decoding_net4_tests.pl | 527 statistics(hr_time, Start), 530 statistics(hr_time, Stop), 561 statistics(hr_time, Start), 563 statistics(hr_time, Stop),
|
/barrelfish-master/usr/eclipseclp/documents/megalog/ |
H A D | backwards-sec.tex | 96 obtain statistics. The on-line editor is not provided.
|
/barrelfish-master/usr/eclipseclp/documents/tutorial/ |
H A D | umsusing.tex | 392 This tool displays some statistics about memory and CPU usage of the 395 \bipref{statistics/0}{../bips/kernel/env/statistics-0.html} and 396 \bipref{statistics/2}{../bips/kernel/env/statistics-2.html}
|
H A D | eprolog.tex | 860 \bipref{statistics/2}. 876 and then it prints the statistics about the time spent 907 \bipref{statistics/2}{../bips/kernel/env/statistics-2.html} and \bipref{statistics/0}{../bips/kernel/env/statistics-0.html}
|
/barrelfish-master/usr/eclipseclp/ecrc_solvers/grace/ |
H A D | grace.pl | 419 statistics(times, [T|_]), 427 statistics(times, [T|_]),
|
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/ |
H A D | globalstate.tex | 199 Return statistics about bytes of allocated memory.
|