constraint分析