]> git.saurik.com Git - bison.git/blame - lib/bitset_stats.h
Merge remote-tracking branch 'fsf/maint'
[bison.git] / lib / bitset_stats.h
CommitLineData
613f5e1a 1/* Functions to support bitset statistics.
7d424de1 2
34136e65 3 Copyright (C) 2002-2004, 2009-2012 Free Software Foundation, Inc.
7d424de1 4
7086e707
AD
5 Contributed by Michael Hayes (m.hayes@elec.canterbury.ac.nz).
6
f16b0819
PE
7 This program is free software: you can redistribute it and/or modify
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation, either version 3 of the License, or
10 (at your option) any later version.
11
12 This program is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with this program. If not, see <http://www.gnu.org/licenses/>. */
7086e707 19
613f5e1a 20#ifndef _BITSET_STATS_H
bba392ec 21#define _BITSET_STATS_H
7086e707 22
ef017502 23#include "bbitset.h"
7086e707 24
d0829076 25extern bool bitset_stats_enabled;
7086e707 26
7d7d6663 27extern enum bitset_type bitset_stats_type_get (bitset);
613f5e1a 28
7d7d6663 29extern size_t bitset_stats_bytes (void);
613f5e1a 30
7d7d6663 31extern bitset bitset_stats_init (bitset, bitset_bindex, enum bitset_type);
ef017502 32
7086e707 33#endif