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

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

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: flamapy-bdd
-Version: 2.6.0.dev5
+Version: 2.6.0.dev12
 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.dev5
-Requires-Dist: flamapy-fm~=2.6.0.dev5
+Requires-Dist: flamapy-fw~=2.6.0.dev12
+Requires-Dist: flamapy-fm~=2.6.0.dev12
 Requires-Dist: dd~=0.6.0
 Requires-Dist: graphviz~=0.20
 Provides-Extra: dev

{flamapy_bdd-2.6.0.dev5 → flamapy_bdd-2.6.0.dev12}/flamapy/metamodels/bdd_metamodel/operations/bdd_configurations_with_n_features.py

@@ -2,14 +2,30 @@ from typing import cast, Any, Generator
 
 from flamapy.core.models import VariabilityModel
 from flamapy.core.operations import Operation
+from flamapy.core.operations.descriptor import OperationDescriptor, Input
 from flamapy.metamodels.configuration_metamodel.models import Configuration
 from flamapy.metamodels.bdd_metamodel.models import BDDModel
 from flamapy.metamodels.bdd_metamodel.operations.bdd_product_distribution import DistributionEngine
 
 
+def _configurations_with_n_features_result(result: Any) -> Any:
+    return list(result)
+
+
 class BDDConfigurationsWithNFeatures(Operation):
     """Operation to get all configurations with exactly n selected features from a BDD model."""
 
+    facade = OperationDescriptor(
+        doc=(
+            'Returns all valid configurations that have exactly n features selected.'
+        ),
+        returns='Union[None, List[Configuration]]',
+        name='configurations_with_n_features', operation='BDDConfigurationsWithNFeatures',
+        default_backend='bdd',
+        inputs=(Input('n', int, required=True, setter='set_n_features'),),
+        result_adapter=_configurations_with_n_features_result,
+    )
+
     def __init__(self) -> None:
         self._result: Generator[Configuration, None, None]
         self.n_features: int = 0

{flamapy_bdd-2.6.0.dev5 → flamapy_bdd-2.6.0.dev12}/flamapy/metamodels/bdd_metamodel/operations/bdd_feature_inclusion_probability.py

@@ -1,6 +1,7 @@
 from typing import Any, Optional, cast
 
 from flamapy.core.models import VariabilityModel
+from flamapy.core.operations.descriptor import OperationDescriptor
 from flamapy.metamodels.configuration_metamodel.models.configuration import Configuration
 from flamapy.metamodels.bdd_metamodel.models import BDDModel
 from flamapy.metamodels.bdd_metamodel.operations.interfaces import FeatureInclusionProbability
@@ -14,6 +15,17 @@ class BDDFeatureInclusionProbability(FeatureInclusionProbability):
     (https://doi.org/10.1109/ICSE.2019.00091)]
     """
 
+    facade = OperationDescriptor(
+        doc=(
+            'Returns a mapping from each feature name to its inclusion probability: the\n'
+            'fraction of valid configurations in which that feature is selected. Core\n'
+            'features have probability 1.0 and dead features have probability 0.0.'
+        ),
+        returns='Union[None, Dict[str, float]]',
+        name='feature_inclusion_probability', operation='BDDFeatureInclusionProbability',
+        default_backend='bdd',
+    )
+
     def __init__(self) -> None:
         self._result: dict[Any, float] = {}
         self._partial_configuration: Optional[Configuration] = None

{flamapy_bdd-2.6.0.dev5 → flamapy_bdd-2.6.0.dev12}/flamapy/metamodels/bdd_metamodel/operations/bdd_homogeneity.py

@@ -1,6 +1,7 @@
 from typing import cast
 
 from flamapy.core.models import VariabilityModel
+from flamapy.core.operations.descriptor import OperationDescriptor
 from flamapy.metamodels.configuration_metamodel.models.configuration import Configuration
 from flamapy.metamodels.bdd_metamodel.models import BDDModel
 from flamapy.metamodels.bdd_metamodel.operations.interfaces import Homogeneity
@@ -8,6 +9,16 @@ from flamapy.metamodels.bdd_metamodel.operations import BDDCommonalityFactor
 
 
 class BDDHomogeneity(Homogeneity):
+
+    facade = OperationDescriptor(
+        doc=(
+            'Measures how similar the products of the feature model are to each other. It\n'
+            'is computed as the average commonality factor across all features. A value of\n'
+            '1.0 means all products are identical; lower values indicate more diversity.'
+        ),
+        returns='Union[None, float]',
+        name='homogeneity', operation='BDDHomogeneity', default_backend='bdd'
+    )
     def __init__(self) -> None:
         self._result: float = 0.0
 

{flamapy_bdd-2.6.0.dev5 → flamapy_bdd-2.6.0.dev12}/flamapy/metamodels/bdd_metamodel/operations/bdd_product_distribution.py

@@ -1,11 +1,22 @@
 from typing import cast, Any
 
 from flamapy.core.models import VariabilityModel
+from flamapy.core.operations.descriptor import OperationDescriptor
 from flamapy.metamodels.bdd_metamodel.models import BDDModel
 from flamapy.metamodels.bdd_metamodel.operations.interfaces import ProductDistribution
 
 
 class BDDProductDistribution(ProductDistribution):
+
+    facade = OperationDescriptor(
+        doc=(
+            'Returns the distribution of products by number of activated features. The\n'
+            'value at index i is the count of valid configurations that have exactly i\n'
+            'features selected.'
+        ),
+        returns='Union[None, List[int]]',
+        name='product_distribution', operation='BDDProductDistribution', default_backend='bdd'
+    )
     def __init__(self) -> None:
         self._result: list[int] = []
 

{flamapy_bdd-2.6.0.dev5 → flamapy_bdd-2.6.0.dev12}/flamapy/metamodels/bdd_metamodel/operations/bdd_pure_optional_features.py

@@ -1,6 +1,7 @@
 from typing import Any, Optional, cast
 
 from flamapy.core.models import VariabilityModel
+from flamapy.core.operations.descriptor import OperationDescriptor
 from flamapy.metamodels.configuration_metamodel.models.configuration import Configuration
 from flamapy.metamodels.bdd_metamodel.models import BDDModel
 from flamapy.metamodels.bdd_metamodel.operations.interfaces import PureOptionalFeatures
@@ -8,6 +9,16 @@ from flamapy.metamodels.bdd_metamodel.operations import BDDFeatureInclusionProba
 
 
 class BDDPureOptionalFeatures(PureOptionalFeatures):
+
+    facade = OperationDescriptor(
+        doc=(
+            'Returns features with a feature inclusion probability of exactly 0.5, meaning\n'
+            'they are selected in exactly half of the valid configurations. These are the\n'
+            'most unconstrained optional features.'
+        ),
+        returns='Union[None, List[str]]',
+        name='pure_optional_features', operation='BDDPureOptionalFeatures', default_backend='bdd'
+    )
     def __init__(self) -> None:
         self._result: list[Any] = []
         self._partial_configuration: Optional[Configuration] = None

{flamapy_bdd-2.6.0.dev5 → flamapy_bdd-2.6.0.dev12}/flamapy/metamodels/bdd_metamodel/operations/bdd_unique_features.py

@@ -1,12 +1,22 @@
 from typing import Any, Optional, cast
 
 from flamapy.core.models import VariabilityModel
+from flamapy.core.operations.descriptor import OperationDescriptor
 from flamapy.metamodels.configuration_metamodel.models.configuration import Configuration
 from flamapy.metamodels.bdd_metamodel.models import BDDModel
 from flamapy.metamodels.bdd_metamodel.operations.interfaces import UniqueFeatures
 
 
 class BDDUniqueFeatures(UniqueFeatures):
+
+    facade = OperationDescriptor(
+        doc=(
+            'Returns features that appear in exactly one valid configuration. These\n'
+            'features uniquely identify a single product in the product line.'
+        ),
+        returns='Union[None, List[str]]',
+        name='unique_features', operation='BDDUniqueFeatures', default_backend='bdd'
+    )
     def __init__(self) -> None:
         self._result: list[Any] = []
         self._partial_configuration: Optional[Configuration] = None

{flamapy_bdd-2.6.0.dev5 → flamapy_bdd-2.6.0.dev12}/flamapy/metamodels/bdd_metamodel/operations/bdd_variability.py

@@ -1,12 +1,23 @@
 from typing import cast
 
 from flamapy.core.models import VariabilityModel
+from flamapy.core.operations.descriptor import OperationDescriptor
 from flamapy.metamodels.bdd_metamodel.models import BDDModel
 from flamapy.metamodels.bdd_metamodel.operations.interfaces import Variability
 from flamapy.metamodels.bdd_metamodel.operations import BDDConfigurationsNumber, BDDVariantFeatures
 
 
 class BDDVariability(Variability):
+
+    facade = OperationDescriptor(
+        doc=(
+            'Returns a tuple of (total_variability, partial_variability). Total variability\n'
+            'is the ratio of valid configurations to the theoretical maximum; partial\n'
+            'variability is the ratio relative to only the variant features.'
+        ),
+        returns='Union[None, Tuple[float, float]]',
+        name='variability', operation='BDDVariability', default_backend='bdd'
+    )
     def __init__(self) -> None:
         self._result: tuple[float, float] = (0.0, 0.0)
 

{flamapy_bdd-2.6.0.dev5 → flamapy_bdd-2.6.0.dev12}/flamapy/metamodels/bdd_metamodel/operations/bdd_variant_features.py

@@ -1,6 +1,7 @@
 from typing import Any, Optional, cast
 
 from flamapy.core.models import VariabilityModel
+from flamapy.core.operations.descriptor import OperationDescriptor
 from flamapy.metamodels.configuration_metamodel.models.configuration import Configuration
 from flamapy.metamodels.bdd_metamodel.models import BDDModel
 from flamapy.metamodels.bdd_metamodel.operations.interfaces import VariantFeatures
@@ -8,6 +9,16 @@ from flamapy.metamodels.bdd_metamodel.operations import BDDFeatureInclusionProba
 
 
 class BDDVariantFeatures(VariantFeatures):
+
+    facade = OperationDescriptor(
+        doc=(
+            'Returns the features that are neither core nor dead — they appear in some but\n'
+            'not all valid configurations. These are the features that actually vary across\n'
+            'products.'
+        ),
+        returns='Union[None, List[str]]',
+        name='variant_features', operation='BDDVariantFeatures', default_backend='bdd'
+    )
     def __init__(self) -> None:
         self._result: list[Any] = []
         self._partial_configuration: Optional[Configuration] = None

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

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: flamapy-bdd
-Version: 2.6.0.dev5
+Version: 2.6.0.dev12
 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.dev5
-Requires-Dist: flamapy-fm~=2.6.0.dev5
+Requires-Dist: flamapy-fw~=2.6.0.dev12
+Requires-Dist: flamapy-fm~=2.6.0.dev12
 Requires-Dist: dd~=0.6.0
 Requires-Dist: graphviz~=0.20
 Provides-Extra: dev

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

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

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

@@ -4,15 +4,15 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "flamapy-bdd"
-version = "2.6.0.dev5"
+version = "2.6.0.dev12"
 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.dev5",
-    "flamapy-fm~=2.6.0.dev5",
+    "flamapy-fw~=2.6.0.dev12",
+    "flamapy-fm~=2.6.0.dev12",
     "dd~=0.6.0",
     "graphviz~=0.20",
 ]