1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
/*C
(c) 2005 bl0rg.net
**/
#ifndef BV_H__
#define BV_H__
/*M
\emph{Bit vector structure.}
**/
typedef struct bv_s {
/*@dependent@*/ unsigned char *data;
unsigned int len;
unsigned int idx;
} bv_t;
/*C
**/
void bv_init(/*@out@*/ bv_t *bv, unsigned char *data, unsigned int len);
void bv_reset(/*@out@*/ bv_t *bv);
unsigned long bv_get_bits(bv_t *bv, unsigned int numbits);
int bv_put_bits(bv_t *bv, unsigned long bits, unsigned int numbits);
#endif /* BV_H__ */
|
