CACAO
Macros | Functions
bitvector.cpp File Reference

Go to the source code of this file.

Macros

#define _BV_CHECK_BOUNDS(i, l, h)   ;
 define BV_DEBUG_CHECK to activate the bound checks More...
 
#define _BV_ASSERT(a)   ;
 
#define BV_NUM_INTS(size)   (((((size) + 7)/ 8) + sizeof(int) - 1) / sizeof(int))
 
#define BV_INT_INDEX(bit)   ( ((bit) / 8) / sizeof(int) )
 
#define BV_BIT_INDEX(bit, index)   ( (bit) - (index) * sizeof(int) * 8 );
 

Functions

char * bv_to_string (bitvector bv, char *string, int size)
 
bitvector bv_new (int size)
 
bool bv_get_bit (bitvector bv, int bit)
 
void bv_set_bit (bitvector bv, int bit)
 
void bv_reset_bit (bitvector bv, int bit)
 
void bv_reset (bitvector bv, int size)
 
bool bv_is_empty (bitvector bv, int size)
 
void bv_copy (bitvector dst, bitvector src, int size)
 
bool bv_equal (bitvector s1, bitvector s2, int size)
 
void bv_minus (bitvector d, bitvector s1, bitvector s2, int size)
 
void bv_union (bitvector d, bitvector s1, bitvector s2, int size)
 

Macro Definition Documentation

#define _BV_ASSERT (   a)    ;

Definition at line 45 of file bitvector.cpp.

#define _BV_CHECK_BOUNDS (   i,
  l,
 
)    ;

define BV_DEBUG_CHECK to activate the bound checks

Definition at line 44 of file bitvector.cpp.

#define BV_BIT_INDEX (   bit,
  index 
)    ( (bit) - (index) * sizeof(int) * 8 );

Definition at line 81 of file bitvector.cpp.

#define BV_INT_INDEX (   bit)    ( ((bit) / 8) / sizeof(int) )

Definition at line 77 of file bitvector.cpp.

#define BV_NUM_INTS (   size)    (((((size) + 7)/ 8) + sizeof(int) - 1) / sizeof(int))

Definition at line 73 of file bitvector.cpp.

Function Documentation

void bv_copy ( bitvector  dst,
bitvector  src,
int  size 
)

Definition at line 251 of file bitvector.cpp.

bool bv_equal ( bitvector  s1,
bitvector  s2,
int  size 
)

Definition at line 277 of file bitvector.cpp.

bool bv_get_bit ( bitvector  bv,
int  bit 
)

Definition at line 148 of file bitvector.cpp.

bool bv_is_empty ( bitvector  bv,
int  size 
)

Definition at line 227 of file bitvector.cpp.

void bv_minus ( bitvector  d,
bitvector  s1,
bitvector  s2,
int  size 
)

Definition at line 330 of file bitvector.cpp.

bitvector bv_new ( int  size)

Definition at line 122 of file bitvector.cpp.

void bv_reset ( bitvector  bv,
int  size 
)

Definition at line 204 of file bitvector.cpp.

void bv_reset_bit ( bitvector  bv,
int  bit 
)

Definition at line 185 of file bitvector.cpp.

void bv_set_bit ( bitvector  bv,
int  bit 
)

Definition at line 166 of file bitvector.cpp.

char* bv_to_string ( bitvector  bv,
char *  string,
int  size 
)

Definition at line 97 of file bitvector.cpp.

void bv_union ( bitvector  d,
bitvector  s1,
bitvector  s2,
int  size 
)

Definition at line 356 of file bitvector.cpp.