Searched refs:Count (Results 101 - 112 of 112) sorted by relevance

12345

/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Dprobing_for_scheduling.pl167 get_probect(Count),
168 writeln(log_output,probes(Count)).
/barrelfish-master/usr/eclipseclp/icparc_solvers/ech/
H A Dech.pl1629 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 Dm_map.pl795 "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 Dm_tree234.pl492 "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 Dacdisasm.h268 UINT32 Count; member in struct:acpi_op_walk_info
/barrelfish-master/usr/eclipseclp/documents/embedding/
H A Dembvb.tex182 \item[Property Get Count() As Long]\ \\
/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dtracer_tty.pl206 % do_tracer_command(Command, CurrentTraceLine, Count, Cont)
212 % Count is the numeric argument given to the command (default 0)
H A Dtracer_tcl.pl233 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 Dacpi.c785 args.Count = 1;
/barrelfish-master/usr/eclipseclp/documents/libman/
H A Dgfd.tex1104 \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 Dhybrid.tex644 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 Ddatabase-sec.tex799 ?- retr_tup(p456r2,[Dep,Sum,Count]),
800 Avg is Sum / Count.

Completed in 91 milliseconds

12345