我正在使用 featureIDE 并希望从功能模型中自动生成所有有效的产品。我用一个简单的模型和一些约束尝试了 featureIDE 的产品生成选项。我希望最终有九个有效的产品并且数量是正确的，但是当我检查每个配置文件中的功能组合时，某些产品中缺少一些功能。
这是模型：
我期望以下功能组合：
P1：t1 _4 v1
P2：t1 _4 v3
P3：t1 _5 v3
P4：t2_5 v1
P5：t2_10 v1
P6：t3_5 v2
P7：t3_5 v3
P8：t3_10 v2
P9：t3_10 v3
但是我只得到了其中少数具有正确功能组合的功能，并且大多数都缺少功能或双重功能。
下面显示了我得到的一些配置。
以前有人遇到过这个问题吗？
谢谢！