Rate this Page
★ ★ ★ ★ ★

torch.fx.experimental.migrate_gradual_types.transform_to_z3.iterate_till_fixed_point#

torch.fx.experimental.migrate_gradual_types.transform_to_z3.iterate_till_fixed_point(constraints, counter)[source]#

Transform constraints till reaching a fixed point

Return type:

tuple[Constraint, int]

On this page
Show Source
PyTorch Libraries