Searched refs:Count (Results 101 - 112 of 112) sorted by relevance
12345
/barrelfish-master/usr/eclipseclp/icparc_solvers/ |
H A D | probing_for_scheduling.pl | 167 get_probect(Count), 168 writeln(log_output,probes(Count)).
|
/barrelfish-master/usr/eclipseclp/icparc_solvers/ech/ |
H A D | ech.pl | 1629 count_and_record_constraints((ConstDec1,ConstDec2), Count0, Count, Module) :- 1632 count_and_record_constraints(ConstDec2, Count1, Count, Module). 1633 count_and_record_constraints(SingleConstDec, Count0, Count, Module) :- 1635 % Count is also used as id for constraint 1647 Count = Count0 1648 ; Count = Count1, 1650 recordz('CHRconstraints', chrcinfo with [spec:ConstSpec,count:Count,prio:Prio])@Module 1979 getval_body('CHRcdelete_count'(ListIndex), Count, Module), 1980 (Count == cdelete_threshold -> 1983 ; %Count1 is Count [all...] |
/barrelfish-master/usr/eclipseclp/Mercury/ |
H A D | m_map.pl | 795 "Count":"The number of elements in Map"], 796 summary: "Count the number of elements in a map.", 797 fail_if: "Fails if Count does not unify with the number of elements in Map.", 802 unify the result with Count. 1118 count(Map, Count) :- 1119 m_tree234:count(Map, Count).
|
H A D | m_tree234.pl | 492 "Count":"The number of elements in Tree"], 493 summary: "Count the number of elements in a tree.", 494 fail_if: "Fails if Count does not unify with the number of elements in Tree.", 499 unify the result with Count.
|
/barrelfish-master/lib/acpica/source/include/ |
H A D | acdisasm.h | 268 UINT32 Count; member in struct:acpi_op_walk_info
|
/barrelfish-master/usr/eclipseclp/documents/embedding/ |
H A D | embvb.tex | 182 \item[Property Get Count() As Long]\ \\
|
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | tracer_tty.pl | 206 % do_tracer_command(Command, CurrentTraceLine, Count, Cont) 212 % Count is the numeric argument given to the command (default 0)
|
H A D | tracer_tcl.pl | 233 prepare_filter(Count) :- 235 setval(filter_count, Count). 1135 getval(observed_count, Count), 1137 concat_atom(['Observing#', Count], Label),
|
/barrelfish-master/usr/acpi/ |
H A D | acpi.c | 785 args.Count = 1;
|
/barrelfish-master/usr/eclipseclp/documents/libman/ |
H A D | gfd.tex | 1104 \item[weighted degree] Known as Accumulated Failure Count in Gecode.
1105 Count of the number of failures in
1106 constraints associated with the variable. Count is updated after each
1108 \item[activity] Count of the number of domain
1109 reduction on the variable during propagation. Count is updated after each
|
/barrelfish-master/usr/eclipseclp/documents/tutorial/ |
H A D | hybrid.tex | 644 ic: (QtyP*Count $= BP*Qty) % con4 665 \verb0Qty0 (because precisely {\em Count} paths have a non-zero 666 $PQty = Qty / Count$).
|
/barrelfish-master/usr/eclipseclp/documents/megalog/ |
H A D | database-sec.tex | 799 ?- retr_tup(p456r2,[Dep,Sum,Count]), 800 Avg is Sum / Count.
|
Completed in 91 milliseconds
12345