Lines Matching refs:WordSet
130 //--- WordSet ---//
154 WordFM* vec2ix; /* WordVec-to-WordSet mapping tree */
155 WordVec** ix2vec; /* WordSet-to-WordVec mapping array */
159 WordSet empty; /* cached, for speed */
272 static WordVec* do_ix2vec ( WordSetU* wsu, WordSet ws )
290 static WordVec* do_ix2vec_with_dead ( WordSetU* wsu, WordSet ws )
312 static WordSet add_or_dealloc_WordVec( WordSetU* wsu, WordVec* wv_new )
317 /* Really WordSet, but need something that can safely be casted to
318 a Word* in the lookupFM. Making it WordSet (which is 32 bits)
331 return (WordSet)ix_old;
333 WordSet ws;
351 return (WordSet)(wsu->ix2vec_used - 1);
395 WordSet HG_(emptyWS) ( WordSetU* wsu )
400 Bool HG_(isEmptyWS) ( WordSetU* wsu, WordSet ws )
413 Bool HG_(isSingletonWS) ( WordSetU* wsu, WordSet ws, UWord w )
422 UWord HG_(cardinalityWS) ( WordSetU* wsu, WordSet ws )
431 UWord HG_(anyElementOfWS) ( WordSetU* wsu, WordSet ws )
448 WordSetU* wsu, WordSet ws )
459 void HG_(dieWS) ( WordSetU* wsu, WordSet ws )
495 Bool HG_(plausibleWS) ( WordSetU* wsu, WordSet ws )
503 Bool HG_(saneWS_SLOW) ( WordSetU* wsu, WordSet ws )
523 Bool HG_(elemWS) ( WordSetU* wsu, WordSet ws, UWord w )
535 WordSet HG_(doubletonWS) ( WordSetU* wsu, UWord w1, UWord w2 )
557 WordSet HG_(singletonWS) ( WordSetU* wsu, UWord w )
562 WordSet HG_(isSubsetOf) ( WordSetU* wsu, WordSet small, WordSet big )
568 void HG_(ppWS) ( WordSetU* wsu, WordSet ws )
585 VG_(printf)(" WordSet \"%s\":\n", name);
605 WordSet HG_(addToWS) ( WordSetU* wsu, WordSet ws, UWord w )
610 WordSet result = (WordSet)(-1); /* bogus */
613 WCache_LOOKUP_AND_RETURN(WordSet, wsu->cache_addTo, ws, w);
639 tl_assert(result != (WordSet)(-1));
646 WordSet HG_(delFromWS) ( WordSetU* wsu, WordSet ws, UWord w )
650 WordSet result = (WordSet)(-1); /* bogus */
661 WCache_LOOKUP_AND_RETURN(WordSet, wsu->cache_delFrom, ws, w);
697 WordSet HG_(unionWS) ( WordSetU* wsu, WordSet ws1, WordSet ws2 )
767 WordSet HG_(intersectWS) ( WordSetU* wsu, WordSet ws1, WordSet ws2 )
770 WordSet ws_new = (WordSet)(-1); /* bogus */
785 WordSet wst = ws1; ws1 = ws2; ws2 = wst;
788 WCache_LOOKUP_AND_RETURN(WordSet, wsu->cache_intersect, ws1, ws2);
842 tl_assert(ws_new != (WordSet)(-1));
848 WordSet HG_(minusWS) ( WordSetU* wsu, WordSet ws1, WordSet ws2 )
851 WordSet ws_new = (WordSet)(-1); /* bogus */
857 WCache_LOOKUP_AND_RETURN(WordSet, wsu->cache_minus, ws1, ws2);
918 tl_assert(ws_new != (WordSet)(-1));
925 void show_WS ( WordSetU* wsu, WordSet ws )
939 //--- end WordSet ---//
