Rate this Page
★ ★ ★ ★ ★

torch.fx.experimental.migrate_gradual_types.transform_to_z3.transform_all_constraints#

torch.fx.experimental.migrate_gradual_types.transform_to_z3.transform_all_constraints(traced, counter=0)[source]#

Given a trace, generates constraints and transforms them to z3 format

On this page
Show Source
PyTorch Libraries