Searched refs:used_original_labels (Results 1 – 1 of 1) sorted by relevance
117 Set<Int> used_original_labels; in squeeze_data() local119 used_original_labels += ssi.front(); in squeeze_data()121 squeezed_flc.used_original_coordinates = coordinates.minor(used_original_labels, All); in squeeze_data()