diff options
Diffstat (limited to 'lib/bitset_stats.h')
| -rw-r--r-- | lib/bitset_stats.h | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/lib/bitset_stats.h b/lib/bitset_stats.h new file mode 100644 index 00000000..2ebd29e7 --- /dev/null +++ b/lib/bitset_stats.h @@ -0,0 +1,33 @@ +/* Functions to support bitset statistics. + Copyright (C) 2002 Free Software Foundation, Inc. + Contributed by Michael Hayes (m.hayes@elec.canterbury.ac.nz). + +This program is free software; you can redistribute it and/or modify +it under the terms of the GNU General Public License as published by +the Free Software Foundation; either version 2 of the License, or +(at your option) any later version. + +This program is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +GNU General Public License for more details. + +You should have received a copy of the GNU General Public License +along with this program; if not, write to the Free Software +Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */ + +#ifndef _BITSET_STATS_H +#define _BITSET_STATS_H + +#include "bbitset.h" + +extern int bitset_stats_enabled; + +extern enum bitset_type bitset_stats_type_get PARAMS ((bitset)); + +extern int bitset_stats_bytes PARAMS ((void)); + +extern bitset bitset_stats_init PARAMS ((bitset, bitset_bindex, + enum bitset_type)); + +#endif |