Lines Matching refs:HG_
50 WordSetU* HG_(newWordSetU) ( void* (*alloc_nofail)( const HChar*, SizeT ),
56 void HG_(deleteWordSetU) ( WordSetU* );
60 UWord HG_(cardinalityWSU) ( WordSetU* );
63 void HG_(ppWSUstats) ( WordSetU* wsu, const HChar* name );
70 WordSet HG_(emptyWS) ( WordSetU* );
71 WordSet HG_(addToWS) ( WordSetU*, WordSet, UWord );
72 WordSet HG_(delFromWS) ( WordSetU*, WordSet, UWord );
73 WordSet HG_(unionWS) ( WordSetU*, WordSet, WordSet );
74 WordSet HG_(intersectWS) ( WordSetU*, WordSet, WordSet );
75 WordSet HG_(minusWS) ( WordSetU*, WordSet, WordSet );
76 Bool HG_(isEmptyWS) ( WordSetU*, WordSet );
77 Bool HG_(isSingletonWS) ( WordSetU*, WordSet, UWord );
78 UWord HG_(anyElementOfWS) ( WordSetU*, WordSet );
79 UWord HG_(cardinalityWS) ( WordSetU*, WordSet );
80 Bool HG_(elemWS) ( WordSetU*, WordSet, UWord );
81 WordSet HG_(doubletonWS) ( WordSetU*, UWord, UWord );
82 WordSet HG_(singletonWS) ( WordSetU*, UWord );
83 WordSet HG_(isSubsetOf) ( WordSetU*, WordSet, WordSet );
85 Bool HG_(plausibleWS) ( WordSetU*, WordSet );
88 Bool HG_(saneWS_SLOW) ( WordSetU*, WordSet );
90 void HG_(ppWS) ( WordSetU*, WordSet );
92 void HG_(getPayloadWS) ( /*OUT*/UWord** words, /*OUT*/UWord* nWords,
95 /* HG_(dieWS) indicates WordSet is not used/not referenced anymore,
100 BUG ALERT: !!! Using HG_(dieWS) on a WSU introduces a risk of
113 void HG_(dieWS) ( WordSetU*, WordSet );
