diff options
Diffstat (limited to 'lib/ebitset.h')
-rw-r--r-- | lib/ebitset.h | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/lib/ebitset.h b/lib/ebitset.h deleted file mode 100644 index 97b9ee15..00000000 --- a/lib/ebitset.h +++ /dev/null @@ -1,32 +0,0 @@ -/* Functions to support ebitsets. - - Copyright (C) 2002, 2004, 2009-2015, 2018 Free Software Foundation, - Inc. - - Contributed by Michael Hayes (m.hayes@elec.canterbury.ac.nz). - - 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 _EBITSET_H -#define _EBITSET_H - -#include "bitset.h" - -size_t ebitset_bytes (bitset_bindex); - -bitset ebitset_init (bitset, bitset_bindex); - -void ebitset_release_memory (void); - -#endif |