约束条件判定