使用FeatureIDE检测配置错误

Question

有没有办法在配置文件中编程检测验证错误，而不是使用FeatureIDE的用户定义约束？如果是这种情况，我应该如何继续检测它们并更改已验证的配置？我使用AHEAD作为面向功能的语言。

Answer 1

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