Exemple #1
0
/*******************************************************************************
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);
}