Skip to content

Commit d94d7c7

Browse files
committed
Fix: Error with feature names with spaces
1 parent f041e39 commit d94d7c7

1 file changed

Lines changed: 3 additions & 3 deletions

File tree

flamapy/metamodels/bdd_metamodel/operations/bdd_false_optional_features.py

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -40,10 +40,10 @@ def get_false_optional_features(bdd_model: BDDModel, feature_model: FeatureModel
4040
if not f.is_root() and not f.is_mandatory()]
4141
for feature in real_optional_features:
4242
parent_feature = feature.get_parent()
43-
u_parent = bdd_model.bdd.var(bdd_model.features_vars[parent_feature.name])
44-
u_feature = bdd_model.bdd.var(bdd_model.features_vars[feature.name])
43+
u_parent = bdd_model.bdd.var(parent_feature.name)
44+
u_feature = bdd_model.bdd.var(feature.name)
4545

4646
implication_check = bdd_model.root & u_parent & ~u_feature
4747
if implication_check == bdd_model.bdd.false:
48-
false_optional_features.append(feature.name)
48+
false_optional_features.append(bdd_model.vars_features[feature.name])
4949
return false_optional_features

0 commit comments

Comments
 (0)