Searched defs:sNew (Results 1 – 1 of 1) sorted by relevance
310 const LatSetId sNew(latSets.size()); in addSet() local330 const LatSetId sNew = addSet(); in conjSet() local339 const LatSetId sNew = conjSet(e, s0, s1, op); in disjSet() local359 const LatSetId sNew = conjSet(e, s0, s1, nullptr); in disjSetWithZero() local385 const LatSetId sNew = conjSet(e, s0, s1, orig); in combiSet() local405 const LatSetId sNew = addSet(); in mapSet() local419 const LatSetId sNew = addSet(); in mapBinWithSynZeroSet() local432 const LatSetId sNew = addSet(); in optimizeSet() local