emf - 使用 FeatureIDE 检测配置错误

Question

有没有办法通过 FeatureIDE 针对用户定义的约束以编程方式检测配置文件中的验证错误？如果是这种情况，我应该如何继续检测它们并更改经过验证的配置？我使用 AHEAD 作为面向特征的语言。

Answer 1

FeatureIDE 使用 SAT 求解器自动解决单个配置上的冲突。目前无法获得有关配置之间冲突的更多信息。