torch.fx.experimental.migrate_gradual_types.constraint_generator.neq_inference_rule#
- torch.fx.experimental.migrate_gradual_types.constraint_generator.neq_inference_rule(n, symbols, constraints, counter)[source]#
Translates to inconsistent in gradual types. To prove inequality, we should prove that tensors are either different sizes or disagree on at least one dimension
This is a WIP (works when the condition is false. We are working on making this operation work when the condition is true as well)
