[bison.git] / lib / bitsetv-print.h

/* Bitset vectors.
   Copyright (C) 2002, 2004, 2009 Free Software Foundation, Inc.
   Contributed by Akim Demaille (akim@freefriends.org).

   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 3 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, see <http://www.gnu.org/licenses/>.  */

#ifndef _BITSETV_PRINT_H
#define _BITSETV_PRINT_H

#include "bitsetv.h"

/* Dump vector of bitsets as a matrix.  */
extern void bitsetv_matrix_dump (FILE *, const char *, bitsetv);

#endif  /* _BITSETV_H  */
Commit	Line	Data
1565b720	1	/* Bitset vectors.
401b73af	2	Copyright (C) 2002, 2004, 2009 Free Software Foundation, Inc.
1565b720 AD	3	Contributed by Akim Demaille (akim@freefriends.org).
1565b720 AD	4
f16b0819 PE	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 3 of the License, or
	8	(at your option) any later version.
1565b720	9
f16b0819 PE	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.
1565b720	14
f16b0819 PE	15	You should have received a copy of the GNU General Public License
f16b0819 PE	16	along with this program. If not, see <http://www.gnu.org/licenses/>. */
1565b720 AD	17
	18	#ifndef _BITSETV_PRINT_H
	19	#define _BITSETV_PRINT_H
	20
	21	#include "bitsetv.h"
	22
	23	/* Dump vector of bitsets as a matrix. */
7d7d6663	24	extern void bitsetv_matrix_dump (FILE , const char , bitsetv);
1565b720 AD	25
1565b720 AD	26	#endif /* _BITSETV_H */