Lines Matching refs:HG_
356 WordSetU* HG_(newWordSetU) ( void* (*alloc_nofail)( const HChar*, SizeT ),
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 )
447 void HG_(getPayloadWS) ( /*OUT*/UWord** words, /*OUT*/UWord* nWords,
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 )
559 return HG_(doubletonWS)( wsu, w, w );
562 WordSet HG_(isSubsetOf) ( WordSetU* wsu, WordSet small, WordSet big )
565 return small == HG_(intersectWS)( wsu, small, 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 )
