约束传送

constraint transformation