Lines Matching refs:WordSet
127 //--- WordSet ---//
147 WordFM* vec2ix; /* WordVec-to-WordSet mapping tree */
148 WordVec** ix2vec; /* WordSet-to-WordVec mapping array */
151 WordSet empty; /* cached, for speed */
256 static WordVec* do_ix2vec ( WordSetU* wsu, WordSet ws )
276 static WordSet add_or_dealloc_WordVec( WordSetU* wsu, WordVec* wv_new )
281 /* Really WordSet, but need something that can safely be casted to
282 a Word* in the lookupFM. Making it WordSet (which is 32 bits)
295 return (WordSet)ix_old;
305 return (WordSet)(wsu->ix2vec_used - 1);
348 WordSet HG_(emptyWS) ( WordSetU* wsu )
353 Bool HG_(isEmptyWS) ( WordSetU* wsu, WordSet ws )
366 Bool HG_(isSingletonWS) ( WordSetU* wsu, WordSet ws, UWord w )
375 UWord HG_(cardinalityWS) ( WordSetU* wsu, WordSet ws )
384 UWord HG_(anyElementOfWS) ( WordSetU* wsu, WordSet ws )
401 WordSetU* wsu, WordSet ws )
411 Bool HG_(plausibleWS) ( WordSetU* wsu, WordSet ws )
419 Bool HG_(saneWS_SLOW) ( WordSetU* wsu, WordSet ws )
439 Bool HG_(elemWS) ( WordSetU* wsu, WordSet ws, UWord w )
451 WordSet HG_(doubletonWS) ( WordSetU* wsu, UWord w1, UWord w2 )
473 WordSet HG_(singletonWS) ( WordSetU* wsu, UWord w )
478 WordSet HG_(isSubsetOf) ( WordSetU* wsu, WordSet small, WordSet big )
484 void HG_(ppWS) ( WordSetU* wsu, WordSet ws )
501 VG_(printf)(" WordSet \"%s\":\n", name);
520 WordSet HG_(addToWS) ( WordSetU* wsu, WordSet ws, UWord w )
525 WordSet result = (WordSet)(-1); /* bogus */
528 WCache_LOOKUP_AND_RETURN(WordSet, wsu->cache_addTo, ws, w);
554 tl_assert(result != (WordSet)(-1));
561 WordSet HG_(delFromWS) ( WordSetU* wsu, WordSet ws, UWord w )
565 WordSet result = (WordSet)(-1); /* bogus */
576 WCache_LOOKUP_AND_RETURN(WordSet, wsu->cache_delFrom, ws, w);
612 WordSet HG_(unionWS) ( WordSetU* wsu, WordSet ws1, WordSet ws2 )
682 WordSet HG_(intersectWS) ( WordSetU* wsu, WordSet ws1, WordSet ws2 )
685 WordSet ws_new = (WordSet)(-1); /* bogus */
700 WordSet wst = ws1; ws1 = ws2; ws2 = wst;
703 WCache_LOOKUP_AND_RETURN(WordSet, wsu->cache_intersect, ws1, ws2);
757 tl_assert(ws_new != (WordSet)(-1));
763 WordSet HG_(minusWS) ( WordSetU* wsu, WordSet ws1, WordSet ws2 )
766 WordSet ws_new = (WordSet)(-1); /* bogus */
772 WCache_LOOKUP_AND_RETURN(WordSet, wsu->cache_minus, ws1, ws2);
833 tl_assert(ws_new != (WordSet)(-1));
840 void show_WS ( WordSetU* wsu, WordSet ws )
854 //--- end WordSet ---//
