]>
Commit | Line | Data |
---|---|---|
1 | /* Bitset vectors. | |
2 | Copyright (C) 2002 Free Software Foundation, Inc. | |
3 | Contributed by Michael Hayes (m.hayes@elec.canterbury.ac.nz). | |
4 | ||
5 | This program is free software; you can redistribute it and/or modify | |
6 | it under the terms of the GNU General Public License as published by | |
7 | the Free Software Foundation; either version 2 of the License, or | |
8 | (at your option) any later version. | |
9 | ||
10 | This program is distributed in the hope that it will be useful, | |
11 | but WITHOUT ANY WARRANTY; without even the implied warranty of | |
12 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
13 | GNU General Public License for more details. | |
14 | ||
15 | You should have received a copy of the GNU General Public License | |
16 | along with this program; if not, write to the Free Software | |
17 | Foundation, 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 | ||
24 | typedef bitset * bitsetv; | |
25 | ||
26 | /* Create a vector of N_VECS bitsets, each of N_BITS, and of | |
27 | type TYPE. */ | |
28 | extern bitsetv bitsetv_alloc PARAMS ((bitset_bindex, bitset_bindex, | |
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. */ | |
33 | extern bitsetv bitsetv_create PARAMS ((bitset_bindex, bitset_bindex, | |
34 | unsigned int)); | |
35 | ||
36 | /* Free vector of bitsets. */ | |
37 | extern void bitsetv_free PARAMS ((bitsetv)); | |
38 | ||
39 | /* Zero vector of bitsets. */ | |
40 | extern void bitsetv_zero PARAMS ((bitsetv)); | |
41 | ||
42 | /* Set vector of bitsets. */ | |
43 | extern void bitsetv_ones PARAMS ((bitsetv)); | |
44 | ||
45 | /* Given a vector BSETV of N bitsets of size N, modify its contents to | |
46 | be the transitive closure of what was given. */ | |
47 | extern 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. */ | |
53 | extern void bitsetv_reflexive_transitive_closure PARAMS ((bitsetv)); | |
54 | ||
55 | /* Dump vector of bitsets. */ | |
56 | extern void bitsetv_dump PARAMS ((FILE *, const char *, | |
57 | const char *, bitsetv)); | |
58 | ||
59 | /* Function to debug vector of bitsets from debugger. */ | |
60 | extern void debug_bitsetv PARAMS ((bitsetv)); | |
61 | ||
62 | #endif /* _BITSETV_H */ |