Searched refs:takeConj (Results 1 – 1 of 1) sorted by relevance
137 unsigned takeConj(Kind kind, unsigned s0, unsigned s1) { in takeConj() function in __anon336b03e10111::Merger148 unsigned s = takeConj(kind, s0, s1); in takeDisj()425 return merger.takeConj(kind, s0, s1); in buildLattices()