Searched refs:emptyWS (Results 1 – 3 of 3) sorted by relevance
70 WordSet HG_(emptyWS) ( WordSetU* );
177 thread->locksetA = HG_(emptyWS)( univ_lsets ); in mk_Thread()178 thread->locksetW = HG_(emptyWS)( univ_lsets ); in mk_Thread()623 wsid = HG_(emptyWS)(univ_lsets); in initialise_data_structures()3659 links->inns = HG_(emptyWS)( univ_laog ); in laog__add_edge()3676 links->outs = HG_(emptyWS)( univ_laog ); in laog__add_edge()3768 return HG_(emptyWS)( univ_laog ); in laog__succs()3783 return HG_(emptyWS)( univ_laog ); in laog__preds()
395 WordSet HG_(emptyWS) ( WordSetU* wsu ) in HG_() argument