]> git.saurik.com Git - bison.git/blame - lib/bitsetv.h
(bitsetv_matrix_dump):
[bison.git] / lib / bitsetv.h
CommitLineData
7086e707
AD
1/* Bitset vectors.
2 Copyright (C) 2002 Free Software Foundation, Inc.
3 Contributed by Michael Hayes (m.hayes@elec.canterbury.ac.nz).
4
5This program is free software; you can redistribute it and/or modify
6it under the terms of the GNU General Public License as published by
7the Free Software Foundation; either version 2 of the License, or
8(at your option) any later version.
9
10This program is distributed in the hope that it will be useful,
11but WITHOUT ANY WARRANTY; without even the implied warranty of
12MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13GNU General Public License for more details.
14
15You should have received a copy of the GNU General Public License
16along with this program; if not, write to the Free Software
17Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
18
19#ifndef _BITSETV_H
20#define _BITSETV_H
21
22#include "bitset.h"
23
24typedef bitset * bitsetv;
25
26/* Create a vector of N_VECS bitsets, each of N_BITS, and of
27 type TYPE. */
28extern bitsetv bitsetv_alloc PARAMS ((unsigned int, unsigned int,
29 enum bitset_type));
30
31/* Create a vector of N_VECS bitsets, each of N_BITS, and with
32 attribute hints specified by ATTR. */
33extern bitsetv bitsetv_create PARAMS ((unsigned int, unsigned int,
34 unsigned int));
35
36/* Free vector of bitsets. */
37extern void bitsetv_free PARAMS ((bitsetv));
38
39/* Zero vector of bitsets. */
ef017502 40extern void bitsetv_zero PARAMS ((bitsetv));
7086e707
AD
41
42/* Set vector of bitsets. */
ef017502 43extern void bitsetv_ones PARAMS ((bitsetv));
7086e707 44
345cea78
AD
45/* Given a vector BSETV of N bitsets of size N, modify its contents to
46 be the transitive closure of what was given. */
47extern void bitsetv_transitive_closure PARAMS ((bitsetv));
48
49/* Given a vector BSETV of N bitsets of size N, modify its contents to
50 be the reflexive transitive closure of what was given. This is
51 the same as transitive closure but with all bits on the diagonal
52 of the bit matrix set. */
53extern void bitsetv_reflexive_transitive_closure PARAMS ((bitsetv));
54
7086e707
AD
55/* Dump vector of bitsets. */
56extern void bitsetv_dump PARAMS ((FILE *, const char *,
ef017502 57 const char *, bitsetv));
345cea78
AD
58
59/* Function to debug vector of bitsets from debugger. */
60extern void debug_bitsetv PARAMS ((bitsetv));
61
7086e707 62#endif /* _BITSETV_H */