Searched refs:CR_Merge (Results 1 – 1 of 1) sorted by relevance
2454 CR_Merge, enumerator2840 return CR_Merge; in analyzeValue()2845 return CR_Merge; in analyzeValue()3031 case CR_Merge: in computeAssignment()3199 if (V.Resolution != CR_Erase && V.Resolution != CR_Merge) in isPrunedValue()3251 case CR_Merge: in pruneValues()