约束规格

constraint qualification