Lines Matching refs:WordSetU

64    different WordSetU. */
136 WordSetU* owner; /* for sanity checking */
186 static WordVec* new_WV_of_size ( WordSetU* wsu, UWord sz )
239 static void ensure_ix2vec_space ( WordSetU* wsu )
260 static inline Bool is_dead ( WordSetU* wsu, WordVec* wv )
268 /* Index into a WordSetU, doing the obvious range check. Failure of
270 wrong WordSetU* in the public API of this module.
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 )
356 WordSetU* HG_(newWordSetU) ( void* (*alloc_nofail)( const HChar*, SizeT ),
361 WordSetU* wsu;
364 wsu = alloc_nofail( cc, sizeof(WordSetU) );
365 VG_(memset)( wsu, 0, sizeof(WordSetU) );
385 void HG_(deleteWordSetU) ( WordSetU* wsu )
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 )
441 UWord HG_(cardinalityWSU) ( WordSetU* wsu )
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 )
583 void HG_(ppWSUstats) ( WordSetU* wsu, const HChar* name )
605 WordSet HG_(addToWS) ( WordSetU* wsu, WordSet ws, UWord w )
646 WordSet HG_(delFromWS) ( WordSetU* wsu, WordSet ws, UWord w )
697 WordSet HG_(unionWS) ( WordSetU* wsu, WordSet ws1, WordSet ws2 )
767 WordSet HG_(intersectWS) ( WordSetU* wsu, WordSet ws1, WordSet ws2 )
848 WordSet HG_(minusWS) ( WordSetU* wsu, WordSet ws1, WordSet ws2 )
925 void show_WS ( WordSetU* wsu, WordSet ws )