Searched refs:range_is_maintained (Results 1 – 3 of 3) sorted by relevance
495 sub range_is_maintained { subroutine592 range_is_maintained($start, $end) &&
804 sub range_is_maintained { subroutine901 range_is_maintained($start, $end) &&
754 sub range_is_maintained { subroutine851 range_is_maintained($start, $end) &&