Searched refs:shift_resolution (Results 1 – 1 of 1) sorted by relevance
52 shift_resolution, enumerator74 case shift_resolution: in log_resolution()104 case shift_resolution: in log_resolution()146 case shift_resolution: in log_resolution()176 case shift_resolution: in log_resolution()284 log_resolution (redrule, i, shift_resolution); in resolve_sr_conflict()