* Removed all Id tags.

[cacao.git] / src / toolbox / bitvector.h

diff --git a/src/toolbox/bitvector.h b/src/toolbox/bitvector.h
index 9f7c0cd9a7971da6a3a17f70f1df5b933a3cbe54..a9428c226a725861155b2fd436c282b2039a8934 100644 (file)
--- a/src/toolbox/bitvector.h
+++ b/src/toolbox/bitvector.h
@@ -26,7 +26,6 @@
 
    Authors: Christian Ullrich
 
-   $Id: bitvector.h$
 
 */
 
@@ -36,7 +35,13 @@
 
 #if !defined(NDEBUG)
 #include <assert.h>
+
+/* define BV_DEBUG_CHECK to activate the bound checks */
+
 /* #define BV_DEBUG_CHECK */
+
+/* no debug messages implemented till now */
+
 /* #define BV_DEBUG_VERBOSE */
 #endif
 
@@ -51,20 +56,25 @@ typedef int *bitvector;
 
 /* function prototypes */
 char *bv_to_string(bitvector bv, char *string, int size);
-int *bv_new(int size);                /* Create a new Bitvector for size Bits */
+bitvector bv_new(int size);           /* Create a new Bitvector for size Bits */
                                       /* All bits are reset                   */
-void bv_set_bit(bitvector bv, int bit);   /* set Bit bit of bitvector       */
-void bv_reset_bit(bitvector bv, int bit); /* reset Bit bit of bitvector     */
-void bv_reset(bitvector bv, int size);    /* reset the whole bitvector      */
-bool bv_is_empty(bitvector bv, int size); /* Returns if no Bit is set       */
-bool bv_get_bit(bitvector bv, int bit);   /* Returns if Bit bit is set      */
-
+void bv_set_bit(bitvector bv, int bit);    /* set Bit bit of bitvector       */
+void bv_reset_bit(bitvector bv, int bit);  /* reset Bit bit of bitvector     */
+void bv_reset(bitvector bv, int size);     /* reset the whole bitvector      */
+bool bv_is_empty(bitvector bv, int size);  /* Returns if no Bit is set       */
+bool bv_get_bit(bitvector bv, int bit);    /* Returns if Bit bit is set      */
 bool bv_equal(bitvector s1, bitvector s2, int size);
+
 /* copy the whole bitvector    */
+
 void bv_copy(bitvector dst, bitvector src, int size); 
-/* d = s1 - s2     */
+
+/* d = s1 \ s2     */
+
 void bv_minus(bitvector d, bitvector s1, bitvector s2, int size);
+
 /* d = s1 union s2 */
+
 void bv_union(bitvector d, bitvector s1, bitvector s2, int size);
 
 #endif /* _BITVECTOR_H */