Lines Matching full:statistics
1 /* Bitset statistics.
22 statistics gathering without having to instrument the bitset
23 implementations. When statistics gathering is enabled, the bitset
168 /* Print bitset statistics to FILE. */
203 /* Print all bitset statistics to FILE. */
212 fprintf (file, _("Bitset statistics:\n\n"));
223 /* Initialise bitset statistics logging. */
240 /* Read bitset statistics file. */
270 /* Write bitset statistics file. */
296 /* Dump bitset statistics to FILE. */
