Searched refs:undefined_rank (Results 1 – 1 of 1) sorted by relevance
622 rank_type const undefined_rank = max_rank + 1; in assign_zones() local625 rank_type rank_at_next_zone = undefined_rank; in assign_zones()643 rank_at_next_zone = undefined_rank; in assign_zones()