Searched refs:indices_string (Results 1 – 1 of 1) sorted by relevance
215 def parse_indices(indices_string): argument230 indices_string = re.sub(r"\s+", "", indices_string)233 if indices_string.startswith("[") and indices_string.endswith("]"):234 indices_string = indices_string[1:-1]236 return [int(element) for element in indices_string.split(",")]