Searched refs:plausibleWS (Results 1 – 3 of 3) sorted by relevance
85 Bool HG_(plausibleWS) ( WordSetU*, WordSet );
495 Bool HG_(plausibleWS) ( WordSetU* wsu, WordSet ws ) in HG_() argument
212 tl_assert( HG_(plausibleWS)(univ_lsets, lockset) ); in enumerate_WordSet_into_LockP_vector()