356 WordSetU* HG_(newWordSetU) ( void* (*alloc_nofail)( const HChar*, SizeT ),  in HG_()  function
385 void HG_(deleteWordSetU) ( WordSetU* wsu )  in HG_()  function
395 WordSet HG_(emptyWS) ( WordSetU* wsu )  in HG_()  function
400 Bool HG_(isEmptyWS) ( WordSetU* wsu, WordSet ws )  in HG_()  function
413 Bool HG_(isSingletonWS) ( WordSetU* wsu, WordSet ws, UWord w )  in HG_()  function
422 UWord HG_(cardinalityWS) ( WordSetU* wsu, WordSet ws )  in HG_()  function
431 UWord HG_(anyElementOfWS) ( WordSetU* wsu, WordSet ws )  in HG_()  function
441 UWord HG_(cardinalityWSU) ( WordSetU* wsu )  in HG_()  function
447 void HG_(getPayloadWS) ( /*OUT*/UWord** words, /*OUT*/UWord* nWords,   in HG_()  function
459 void HG_(dieWS) ( WordSetU* wsu, WordSet ws )  in HG_()  function
495 Bool HG_(plausibleWS) ( WordSetU* wsu, WordSet ws )  in HG_()  function
503 Bool HG_(saneWS_SLOW) ( WordSetU* wsu, WordSet ws )  in HG_()  function
523 Bool HG_(elemWS) ( WordSetU* wsu, WordSet ws, UWord w )  in HG_()  function
535 WordSet HG_(doubletonWS) ( WordSetU* wsu, UWord w1, UWord w2 )  in HG_()  function
557 WordSet HG_(singletonWS) ( WordSetU* wsu, UWord w )  in HG_()  function
562 WordSet HG_(isSubsetOf) ( WordSetU* wsu, WordSet small, WordSet big )  in HG_()  function
568 void HG_(ppWS) ( WordSetU* wsu, WordSet ws )  in HG_()  function
583 void HG_(ppWSUstats) ( WordSetU* wsu, const HChar* name )  in HG_()  function
605 WordSet HG_(addToWS) ( WordSetU* wsu, WordSet ws, UWord w )  in HG_()  function
646 WordSet HG_(delFromWS) ( WordSetU* wsu, WordSet ws, UWord w )  in HG_()  function
697 WordSet HG_(unionWS) ( WordSetU* wsu, WordSet ws1, WordSet ws2 )  in HG_()  function
767 WordSet HG_(intersectWS) ( WordSetU* wsu, WordSet ws1, WordSet ws2 )  in HG_()  function
848 WordSet HG_(minusWS) ( WordSetU* wsu, WordSet ws1, WordSet ws2 )  in HG_()  function