159       WordSet   empty; /* cached, for speed */
272 static WordVec* do_ix2vec ( WordSetU* wsu, WordSet ws )  in do_ix2vec()
290 static WordVec* do_ix2vec_with_dead ( WordSetU* wsu, WordSet ws )  in do_ix2vec_with_dead()
312 static WordSet add_or_dealloc_WordVec( WordSetU* wsu, WordVec* wv_new )  in add_or_dealloc_WordVec()
331       return (WordSet)ix_old;  in add_or_dealloc_WordVec()
333       WordSet ws;  in add_or_dealloc_WordVec()
351       return (WordSet)(wsu->ix2vec_used - 1);  in add_or_dealloc_WordVec()
395 WordSet HG_(emptyWS) ( WordSetU* wsu )  in HG_()
400 Bool HG_(isEmptyWS) ( WordSetU* wsu, WordSet ws )  in HG_()
413 Bool HG_(isSingletonWS) ( WordSetU* wsu, WordSet ws, UWord w )  in HG_()
422 UWord HG_(cardinalityWS) ( WordSetU* wsu, WordSet ws )  in HG_()
431 UWord HG_(anyElementOfWS) ( WordSetU* wsu, WordSet ws )  in HG_()
448                          WordSetU* wsu, WordSet ws )  in HG_()
459 void HG_(dieWS) ( WordSetU* wsu, WordSet ws )  in HG_()
495 Bool HG_(plausibleWS) ( WordSetU* wsu, WordSet ws )  in HG_()
503 Bool HG_(saneWS_SLOW) ( WordSetU* wsu, WordSet ws )  in HG_()
523 Bool HG_(elemWS) ( WordSetU* wsu, WordSet ws, UWord w )  in HG_()
535 WordSet HG_(doubletonWS) ( WordSetU* wsu, UWord w1, UWord w2 )  in HG_()
557 WordSet HG_(singletonWS) ( WordSetU* wsu, UWord w )  in HG_()
562 WordSet HG_(isSubsetOf) ( WordSetU* wsu, WordSet small, WordSet big )  in HG_()
568 void HG_(ppWS) ( WordSetU* wsu, WordSet ws )  in HG_()
605 WordSet HG_(addToWS) ( WordSetU* wsu, WordSet ws, UWord w )  in HG_()
610    WordSet  result = (WordSet)(-1); /* bogus */  in HG_()
613    WCache_LOOKUP_AND_RETURN(WordSet, wsu->cache_addTo, ws, w);  in HG_()
639    tl_assert(result != (WordSet)(-1));  in HG_()
646 WordSet HG_(delFromWS) ( WordSetU* wsu, WordSet ws, UWord w )  in HG_()
650    WordSet  result = (WordSet)(-1); /* bogus */  in HG_()
661    WCache_LOOKUP_AND_RETURN(WordSet, wsu->cache_delFrom, ws, w);  in HG_()
697 WordSet HG_(unionWS) ( WordSetU* wsu, WordSet ws1, WordSet ws2 )  in HG_()
767 WordSet HG_(intersectWS) ( WordSetU* wsu, WordSet ws1, WordSet ws2 )  in HG_()
770    WordSet  ws_new = (WordSet)(-1); /* bogus */  in HG_()
785       WordSet wst = ws1; ws1 = ws2; ws2 = wst;  in HG_()
788    WCache_LOOKUP_AND_RETURN(WordSet, wsu->cache_intersect, ws1, ws2);  in HG_()
842    tl_assert(ws_new != (WordSet)(-1));  in HG_()
848 WordSet HG_(minusWS) ( WordSetU* wsu, WordSet ws1, WordSet ws2 )  in HG_()
851    WordSet  ws_new = (WordSet)(-1); /* bogus */  in HG_()
857    WCache_LOOKUP_AND_RETURN(WordSet, wsu->cache_minus, ws1, ws2);  in HG_()
918    tl_assert(ws_new != (WordSet)(-1));  in HG_()
925 void show_WS ( WordSetU* wsu, WordSet ws )  in show_WS()