|
- /*
- * bitset.h -- some simple bit vector set operations.
- *
- * This is useful for sets of small non-negative integers. There are
- * some obvious set operations that are not implemented because I
- * don't need them right now.
- *
- * These functions represent sets as arrays of unsigned 32-bit
- * integers allocated on the heap. The first entry contains the set
- * cardinality (number of elements allowed), followed by one or more
- * words containing bit vectors.
- *
- */
-
- /*
- * Copyright (C) 2005 Jack O'Quin
- *
- * 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 2 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, write to the Free Software
- * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
- */
-
- #ifndef __bitset_h__
- #define __bitset_h__
-
- #include <inttypes.h> /* POSIX standard fixed-size types */
- #include <assert.h> /* `#define NDEBUG' to disable */
-
- /* On some 64-bit machines, this implementation may be slightly
- * inefficient, depending on how compilers allocate space for
- * uint32_t. For the set sizes I currently need, this is acceptable.
- * It should not be hard to pack the bits better, if that becomes
- * worthwhile.
- */
- typedef uint32_t _bitset_word_t;
- typedef _bitset_word_t *bitset_t;
-
- #define WORD_SIZE(cardinality) (1 + ((cardinality) + 31) / 32)
- #define BYTE_SIZE(cardinality) (WORD_SIZE (cardinality) * sizeof(_bitset_word_t))
- #define WORD_INDEX(element) (1 + (element) / 32)
- #define BIT_INDEX(element) ((element) & 037)
-
- static inline void
- bitset_add (bitset_t set, unsigned int element)
- {
- assert (element < set[0]);
- set[WORD_INDEX (element)] |= (1 << BIT_INDEX (element));
- }
-
- static inline void
- bitset_copy (bitset_t to_set, bitset_t from_set)
- {
- assert (to_set[0] == from_set[0]);
- memcpy (to_set, from_set, BYTE_SIZE (to_set[0]));
- }
-
- static inline void
- bitset_create (bitset_t *set, unsigned int cardinality)
- {
- *set = (bitset_t)calloc (WORD_SIZE (cardinality),
- sizeof(_bitset_word_t));
- assert (*set);
- *set[0] = cardinality;
- }
-
- static inline void
- bitset_destroy (bitset_t *set)
- {
- if (*set) {
- free (*set);
- *set = (bitset_t)0;
- }
- }
-
- static inline int
- bitset_empty (bitset_t set)
- {
- int i;
- _bitset_word_t result = 0;
- int nwords = WORD_SIZE (set[0]);
-
- for (i = 1; i < nwords; i++)
- result |= set[i];
- return result == 0;
- }
-
- static inline int
- bitset_contains (bitset_t set, unsigned int element)
- {
- assert (element < set[0]);
- return 0 != (set[WORD_INDEX (element)] & (1 << BIT_INDEX (element)));
- }
-
- static inline void
- bitset_remove (bitset_t set, unsigned int element)
- {
- assert (element < set[0]);
- set[WORD_INDEX (element)] &= ~(1 << BIT_INDEX (element));
- }
-
- #endif /* __bitset_h__ */
|