-/* toolbox/worklist.h - worklist header
+/* src/toolbox/worklist.h - worklist header
- Copyright (C) 1996-2005 R. Grafl, A. Krall, C. Kruegel, C. Oates,
+ Copyright (C) 2005, 2006 R. Grafl, A. Krall, C. Kruegel, C. Oates,
R. Obermaisser, M. Platter, M. Probst, S. Ring, E. Steiner,
C. Thalinger, D. Thuernbeck, P. Tomsich, C. Ullrich, J. Wenninger,
Institut f. Computersprachen - TU Wien
Authors: Christian Ullrich
- $Id: worklist.h$
*/
#if !defined(NDEBUG)
#include <assert.h>
+
+/* define WL_DEBUG_CHECK to activate the bound checks */
+
/* #define WL_DEBUG_CHECK */
+
+/* no debug messages implemented till now */
+
/* #define WL_DEBUG_VERBOSE */
+
#endif
#if defined(WL_DEBUG_CHECK)
void wl_add(worklist *w, int element);
int wl_get(worklist *w);
bool wl_is_empty(worklist *w);
+void wl_reset(worklist *w, int size);
#endif /* _BITVECTOR_H */