diff options
Diffstat (limited to 'gfsm/gfsm/src/libgfsm/gfsmBitVector.hi')
-rw-r--r-- | gfsm/gfsm/src/libgfsm/gfsmBitVector.hi | 133 |
1 files changed, 133 insertions, 0 deletions
diff --git a/gfsm/gfsm/src/libgfsm/gfsmBitVector.hi b/gfsm/gfsm/src/libgfsm/gfsmBitVector.hi new file mode 100644 index 0000000..cfcc4dd --- /dev/null +++ b/gfsm/gfsm/src/libgfsm/gfsmBitVector.hi @@ -0,0 +1,133 @@ + +/*=============================================================================*\ + * File: gfsmBitVector.def + * Author: Bryan Jurish <moocow@ling.uni-potsdam.de> + * Description: finite state machine library: bit vectors: inline definitions + * + * Copyright (c) 2004-2007 Bryan Jurish. + * + * For information on usage and redistribution, and for a DISCLAIMER OF ALL + * WARRANTIES, see the file, "LICENSE.txt," in this distribution. + * + * This library is free software; you can redistribute it and/or + * modify it under the terms of the GNU Lesser General Public + * License as published by the Free Software Foundation; either + * version 2.1 of the License, or (at your option) any later version. + * + * This library 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 + * Lesser General Public License for more details. + * + * You should have received a copy of the GNU Lesser General Public + * License along with this library; if not, write to the Free Software + * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + *=============================================================================*/ + +#include <stdlib.h> +#include <string.h> + +/*====================================================================== + * Utilities + */ + +//-------------------------------------------------------------- +// bits2bytes() +GFSM_INLINE +guint gfsm_bitvector_bits2bytes_(guint nbits) +{ return nbits/8; } + +//-------------------------------------------------------------- +// bytes2bits() +GFSM_INLINE +guint gfsm_bitvector_bytes2bits_(guint nbytes) +{ return nbytes*8; } + +/*-------------------------------------------------------------- + * size() + */ +GFSM_INLINE +guint gfsm_bitvector_size(gfsmBitVector *bv) +{ return gfsm_bitvector_bytes2bits_(bv->len); } + +/*-------------------------------------------------------------- + * get() + */ +GFSM_INLINE +gboolean gfsm_bitvector_get(gfsmBitVector *bv, guint i) +{ + if (i < gfsm_bitvector_size(bv)) { + return g_array_index(bv, guint8, gfsm_bitvector_bits2bytes_(i)) & (1<<(i%8)) ? TRUE : FALSE; + } + return FALSE; +} + +/*-------------------------------------------------------------- + * resize() + */ +GFSM_INLINE +void gfsm_bitvector_resize(gfsmBitVector *bv, guint nbits) +{ g_array_set_size(bv, gfsm_bitvector_bits2bytes_(nbits)+1); } + +/*-------------------------------------------------------------- + * set() + */ +GFSM_INLINE +void gfsm_bitvector_set(gfsmBitVector *bv, guint i, gboolean v) +{ + if (i >= gfsm_bitvector_size(bv)) { gfsm_bitvector_resize(bv,i); } + if (v) { g_array_index(bv, guint8, gfsm_bitvector_bits2bytes_(i)) |= (1<<(i%8)); } + else { g_array_index(bv, guint8, gfsm_bitvector_bits2bytes_(i)) &= ~(1<<(i%8)); } +} + +/*-------------------------------------------------------------- + * new() + */ +GFSM_INLINE +gfsmBitVector *gfsm_bitvector_new(void) +{ return g_array_new(FALSE,TRUE,1); } + +/*-------------------------------------------------------------- + * sized_new() + */ +GFSM_INLINE +gfsmBitVector *gfsm_bitvector_sized_new(guint nbits) +{ + gfsmBitVector *bv = g_array_sized_new(FALSE,TRUE,1, gfsm_bitvector_bits2bytes_(nbits)+1); + gfsm_bitvector_set(bv, nbits-1, 0); + return bv; +} + +/*-------------------------------------------------------------- + * free() + */ +GFSM_INLINE +void gfsm_bitvector_free(gfsmBitVector *bv) +{ g_array_free(bv,TRUE); } + +/*-------------------------------------------------------------- + * clear() + */ +GFSM_INLINE +void gfsm_bitvector_clear(gfsmBitVector *bv) +{ g_array_set_size(bv,0); } + +/*-------------------------------------------------------------- + * zero() + */ +GFSM_INLINE +gfsmBitVector *gfsm_bitvector_zero(gfsmBitVector *bv) +{ + memset(bv->data, 0, bv->len); + return bv; +} + +/*-------------------------------------------------------------- + * one() + */ +GFSM_INLINE +gfsmBitVector *gfsm_bitvector_one(gfsmBitVector *bv) +{ + memset(bv->data, 255, bv->len); + return bv; +} |