CACAO
Typedefs | Functions
bitvector.hpp File Reference

Go to the source code of this file.

Typedefs

typedef int * bitvector
 

Functions

char * bv_to_string (bitvector bv, char *string, int size)
 
bitvector bv_new (int size)
 
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)
 
bool bv_get_bit (bitvector bv, int bit)
 
bool bv_equal (bitvector s1, bitvector s2, int size)
 
void bv_copy (bitvector dst, bitvector src, int size)
 
void bv_minus (bitvector d, bitvector s1, bitvector s2, int size)
 
void bv_union (bitvector d, bitvector s1, bitvector s2, int size)
 

Typedef Documentation

typedef int* bitvector

Definition at line 34 of file bitvector.hpp.

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.