Searched refs:CR_Merge (Results 1 – 1 of 1) sorted by relevance
1670 CR_Merge, enumerator2002 return CR_Merge; in analyzeValue()2007 return CR_Merge; in analyzeValue()2139 case CR_Merge: in computeAssignment()2308 if (V.Resolution != CR_Erase && V.Resolution != CR_Merge) in isPrunedValue()2359 case CR_Merge: in pruneValues()