flamapy-bdd 2.6.0.dev4__tar.gz → 2.6.0.dev5__tar.gz

{flamapy_bdd-2.6.0.dev4/flamapy_bdd.egg-info → flamapy_bdd-2.6.0.dev5}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: flamapy-bdd
-Version: 2.6.0.dev4
+Version: 2.6.0.dev5
 Summary: bdd-plugin for the automated analysis of feature models
 Author-email: Flamapy <flamapy@us.es>
 License-Expression: GPL-3.0-or-later
@@ -8,8 +8,8 @@ Project-URL: Homepage, https://github.com/flamapy/bdd_metamodel
 Requires-Python: >=3.11
 Description-Content-Type: text/markdown
 License-File: LICENSE
-Requires-Dist: flamapy-fw~=2.6.0.dev4
-Requires-Dist: flamapy-fm~=2.6.0.dev4
+Requires-Dist: flamapy-fw~=2.6.0.dev5
+Requires-Dist: flamapy-fm~=2.6.0.dev5
 Requires-Dist: dd~=0.6.0
 Requires-Dist: graphviz~=0.20
 Provides-Extra: dev

{flamapy_bdd-2.6.0.dev4 → flamapy_bdd-2.6.0.dev5}/flamapy/metamodels/bdd_metamodel/models/bdd_model.py

@@ -55,7 +55,7 @@ class BDDModel(VariabilityModel):
 
     def count_solutions(self) -> int:
         """Count the number of valid configurations (SAT)."""
-        return self.bdd.count(self.root, len(self.vars))  # count(node, n_vars)
+        return self.bdd.count(self.root, len(self.vars_order))  # count(node, n_vars)
 
     def dump_structure(self) -> None:
         """Prints the structure of the BDD for debugging purposes."""

{flamapy_bdd-2.6.0.dev4 → flamapy_bdd-2.6.0.dev5}/flamapy/metamodels/bdd_metamodel/operations/bdd_false_optional_features.py

@@ -9,7 +9,7 @@ from flamapy.metamodels.fm_metamodel.models import FeatureModel
 from flamapy.metamodels.bdd_metamodel.models import BDDModel
 
 
-LOGGER = logging.getLogger('PySATFalseOptionalFeatures')
+LOGGER = logging.getLogger('BDDFalseOptionalFeatures')
 
 
 class BDDFalseOptionalFeatures(FalseOptionalFeatures):
@@ -25,11 +25,11 @@ class BDDFalseOptionalFeatures(FalseOptionalFeatures):
 
     def execute(self, model: VariabilityModel) -> 'BDDFalseOptionalFeatures':
         bdd_model = cast(BDDModel, model)
-        try:
-            feature_model = cast(FeatureModel, model.original_model)
-        except FlamaException:
-            LOGGER.exception("The transformation didn't attach the source model, "
-                             "which is required for this operation.")
+        original_model = getattr(model, 'original_model', None)
+        if original_model is None:
+            raise FlamaException("The transformation didn't attach the source model, "
+                                 "which is required for this operation.")
+        feature_model = cast(FeatureModel, original_model)
         self._result = get_false_optional_features(bdd_model, feature_model)
         return self
 

{flamapy_bdd-2.6.0.dev4 → flamapy_bdd-2.6.0.dev5/flamapy_bdd.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: flamapy-bdd
-Version: 2.6.0.dev4
+Version: 2.6.0.dev5
 Summary: bdd-plugin for the automated analysis of feature models
 Author-email: Flamapy <flamapy@us.es>
 License-Expression: GPL-3.0-or-later
@@ -8,8 +8,8 @@ Project-URL: Homepage, https://github.com/flamapy/bdd_metamodel
 Requires-Python: >=3.11
 Description-Content-Type: text/markdown
 License-File: LICENSE
-Requires-Dist: flamapy-fw~=2.6.0.dev4
-Requires-Dist: flamapy-fm~=2.6.0.dev4
+Requires-Dist: flamapy-fw~=2.6.0.dev5
+Requires-Dist: flamapy-fm~=2.6.0.dev5
 Requires-Dist: dd~=0.6.0
 Requires-Dist: graphviz~=0.20
 Provides-Extra: dev

{flamapy_bdd-2.6.0.dev4 → flamapy_bdd-2.6.0.dev5}/flamapy_bdd.egg-info/requires.txt

@@ -1,5 +1,5 @@
-flamapy-fw~=2.6.0.dev4
-flamapy-fm~=2.6.0.dev4
+flamapy-fw~=2.6.0.dev5
+flamapy-fm~=2.6.0.dev5
 dd~=0.6.0
 graphviz~=0.20
 

{flamapy_bdd-2.6.0.dev4 → flamapy_bdd-2.6.0.dev5}/pyproject.toml

@@ -4,15 +4,15 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "flamapy-bdd"
-version = "2.6.0.dev4"
+version = "2.6.0.dev5"
 description = "bdd-plugin for the automated analysis of feature models"
 readme = "README.md"
 license = "GPL-3.0-or-later"
 authors = [{ name = "Flamapy", email = "flamapy@us.es" }]
 requires-python = ">=3.11"
 dependencies = [
-    "flamapy-fw~=2.6.0.dev4",
-    "flamapy-fm~=2.6.0.dev4",
+    "flamapy-fw~=2.6.0.dev5",
+    "flamapy-fm~=2.6.0.dev5",
     "dd~=0.6.0",
     "graphviz~=0.20",
 ]