/******************************************************************************* wl_add Adds the integer element to the worklist, if this value is not already in the worklist. IN: worklist *w pointer to worklist created with wl_new int element integer element to be added *******************************************************************************/ void wl_add(worklist *w, int element) { _WL_CHECK_BOUNDS(element, 0, w->size); if (!bv_get_bit(w->W_bv, element)) { _BV_ASSERT((w->W_top < w->size)); w->W_stack[(w->W_top)++] = element; bv_set_bit(w->W_bv, element); } }
static void bit_vector_set(bit_vector_t *bv, s4 bit) { assert(0 <= bit && bit < bv->size); bv_set_bit(bv->bv, bit); }