Lines Matching refs:WordSet
41 //--- WordSet ---//
47 typedef UInt WordSet; /* opaque, small int index */
59 WordSet are included in the WordSetU number of elements. */
66 /* Element-level operations on WordSets. Note that the WordSet
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 );
93 WordSetU*, WordSet );
95 /* HG_(dieWS) indicates WordSet is not used/not referenced anymore,
97 If ever a WordSet with the same content would be needed again,
98 a new WordSet will be reallocated.
113 void HG_(dieWS) ( WordSetU*, WordSet );
118 //--- end WordSet ---//
