Searched refs:indices_string (Results 1 – 1 of 1) sorted by relevance
219 def parse_indices(indices_string): argument234 indices_string = re.sub(r"\s+", "", indices_string)237 if indices_string.startswith("[") and indices_string.endswith("]"):238 indices_string = indices_string[1:-1]240 return [int(element) for element in indices_string.split(",")]