Lines Matching refs:WordSet
41 //--- WordSet ---//
47 typedef UInt WordSet; /* opaque, small int index */
65 /* Element-level operations on WordSets. Note that the WordSet
69 WordSet HG_(emptyWS) ( WordSetU* );
70 WordSet HG_(addToWS) ( WordSetU*, WordSet, UWord );
71 WordSet HG_(delFromWS) ( WordSetU*, WordSet, UWord );
72 WordSet HG_(unionWS) ( WordSetU*, WordSet, WordSet );
73 WordSet HG_(intersectWS) ( WordSetU*, WordSet, WordSet );
74 WordSet HG_(minusWS) ( WordSetU*, WordSet, WordSet );
75 Bool HG_(isEmptyWS) ( WordSetU*, WordSet );
76 Bool HG_(isSingletonWS) ( WordSetU*, WordSet, UWord );
77 UWord HG_(anyElementOfWS) ( WordSetU*, WordSet );
78 UWord HG_(cardinalityWS) ( WordSetU*, WordSet );
79 Bool HG_(elemWS) ( WordSetU*, WordSet, UWord );
80 WordSet HG_(doubletonWS) ( WordSetU*, UWord, UWord );
81 WordSet HG_(singletonWS) ( WordSetU*, UWord );
82 WordSet HG_(isSubsetOf) ( WordSetU*, WordSet, WordSet );
84 Bool HG_(plausibleWS) ( WordSetU*, WordSet );
85 Bool HG_(saneWS_SLOW) ( WordSetU*, WordSet );
87 void HG_(ppWS) ( WordSetU*, WordSet );
89 WordSetU*, WordSet );
93 //--- end WordSet ---//
