1 /* Bitset vectors.
2
3 Copyright (C) 2001-2002, 2004, 2006, 2009-2012 Free Software
4 Foundation, Inc.
5
6 This program is free software: you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation, either version 3 of the License, or
9 (at your option) any later version.
10
11 This program is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
15
16 You should have received a copy of the GNU General Public License
17 along with this program. If not, see <http://www.gnu.org/licenses/>. */
18
19 #include <config.h>
20
21 #include "bitsetv-print.h"
22
23 #include <stdlib.h>
24
25 /*--------------------------------------------------------.
26 | Display the MATRIX array of SIZE bitsets of size SIZE. |
27 `--------------------------------------------------------*/
28
29 void
bitsetv_matrix_dump(FILE * out,const char * title,bitsetv bset)30 bitsetv_matrix_dump (FILE * out, const char *title, bitsetv bset)
31 {
32 bitset_bindex i, j;
33 bitset_bindex hsize = bitset_size (bset[0]);
34
35 /* Title. */
36 fprintf (out, "%s BEGIN\n", title);
37
38 /* Column numbers. */
39 fputs (" ", out);
40 for (i = 0; i < hsize; ++i)
41 putc (i / 10 ? '0' + i / 10 : ' ', out);
42 putc ('\n', out);
43 fputs (" ", out);
44 for (i = 0; i < hsize; ++i)
45 fprintf (out, "%d", (int) (i % 10));
46 putc ('\n', out);
47
48 /* Bar. */
49 fputs (" .", out);
50 for (i = 0; i < hsize; ++i)
51 putc ('-', out);
52 fputs (".\n", out);
53
54 /* Contents. */
55 for (i = 0; bset[i]; ++i)
56 {
57 fprintf (out, "%2lu|", (unsigned long int) i);
58 for (j = 0; j < hsize; ++j)
59 fputs (bitset_test (bset[i], j) ? "1" : " ", out);
60 fputs ("|\n", out);
61 }
62
63 /* Bar. */
64 fputs (" `", out);
65 for (i = 0; i < hsize; ++i)
66 putc ('-', out);
67 fputs ("'\n", out);
68
69 /* End title. */
70 fprintf (out, "%s END\n\n", title);
71 }
72