torch.fx.experimental.migrate_gradual_types.transform_to_z3.transform_dimension#
- torch.fx.experimental.migrate_gradual_types.transform_to_z3.transform_dimension(dimension, counter, dimension_dict)[source]#
Takes a dimension variable or a number and transforms it to a tuple according to our scheme :param dimension: The dimension to be transformed :param counter: variable tracking
Returns: tuple and the current counter