Home
last modified time | relevance | path

Searched refs:transform_constraint (Results 1 – 3 of 3) sorted by relevance

/aosp_15_r20/external/pytorch/torch/fx/experimental/migrate_gradual_types/
H A Dtransform_to_z3.py6 …m torch.fx.experimental.migrate_gradual_types.constraint_transformation import transform_constraint
261 constraints, counter = transform_constraint(constraints, counter)
H A Dconstraint_transformation.py289 new_c, counter = transform_constraint(c, counter)
301 new_c, counter = transform_constraint(c, counter)
576 def transform_constraint(constraint: Constraint, counter: int): function
/aosp_15_r20/external/pytorch/test/fx/
H A Dtest_z3_gradual_types.py18 transform_constraint,
2392 transformed, _ = transform_constraint(c1, 0)
2396 transformed, counter = transform_constraint(c2, 0)
2405 transformed, _ = transform_constraint(c1, 0)
2412 transformed, count = transform_constraint(c1, 0)
2415 transformed, count = transform_constraint(transformed, count)