Searched refs:takeDisj (Results 1 – 1 of 1) sorted by relevance
147 unsigned takeDisj(Kind kind, unsigned s0, unsigned s1) { in takeDisj() function in __anon336b03e10111::Merger428 return merger.takeDisj(kind, s0, s1); in buildLattices()