torch.fx.experimental.migrate_gradual_types.constraint_transformation.gen_greatest_upper_bound

torch.fx.experimental.migrate_gradual_types.constraint_transformation.gen_greatest_upper_bound(constraint, counter)

Parameters:

• constraint (TGreatestUpperBound) – Greatest upper bound on tensors

• counter (int) – variable tracking

Return type:

tuple[list[Constraint], int]

Returns: A set of equality constraints and DGreatestUpperBound constraints