flamapy 2.0.0.dev0__tar.gz → 2.0.0.dev2__tar.gz

{flamapy-2.0.0.dev0 → flamapy-2.0.0.dev2}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: flamapy
-Version: 2.0.0.dev0
+Version: 2.0.0.dev2
 Summary: Flamapy feature model is a distribution of the flama framework containing all plugins required to analyze feature models. It also offers a richier API and a complete command line interface and documentation.
 Home-page: https://github.com/flamapy/flamapy-feature-model
 Author: Flamapy

{flamapy-2.0.0.dev0 → flamapy-2.0.0.dev2}/flamapy/interfaces/python/FLAMAFeatureModel.py

@@ -4,17 +4,17 @@ from typing import Optional
 
 class FLAMAFeatureModel():
 
-    def __init__(self, modelPath:str, configurationPath:Optional[str]=None):
+    def __init__(self, model_path:str, configuration_path:Optional[str]=None):
         """
         This is the path in the filesystem where the model is located. 
         Any model in UVL, FaMaXML or FeatureIDE format are accepted
         """
-        self.modelPath=modelPath
+        self.model_path=model_path
         """
         This is the path in the filesystem where the configuration is located. 
         Only CSV format are accepted (see documentation for more information)
         """
-        self.modelPath=configurationPath
+        self.configuration_path=configuration_path
         """
         Creating the interface witht he flama framework
         """
@@ -22,19 +22,25 @@ class FLAMAFeatureModel():
         """
         We save the model for later ussage
         """
-        self.fm_model=self._read(modelPath)
+        self.fm_model=self._read(model_path)
         """
-        We create a empty sat model to avoid double transformations
+        We create a empty sat model and a bdd model to avoid double transformations
         """
         self.sat_model=None
-        
-    def _read(self, modelPath)->FeatureModel:
-        return self.dm.use_transformation_t2m(modelPath,'fm')
+        self.bdd_model=None
+
+
+    def _read(self, model_path)->FeatureModel:
+        return self.dm.use_transformation_t2m(model_path,'fm')
     
     def _transform_to_sat(self):
-        if self.sat_model == None:
+        if self.sat_model is None:
             self.sat_model=self.dm.use_transformation_m2m(self.fm_model,"pysat")
-            
+    
+    def _transform_to_bdd(self):
+        if self.bdd_model is None:
+            self.bdd_model=self.dm.use_transformation_m2m(self.fm_model,"bdd")
+
     def atomic_sets(self):
         """ 
         This operation is used to find the atomic sets in a model:
@@ -207,26 +213,6 @@ class FLAMAFeatureModel():
             return None
 
 
-    def error_detection(self):
-        """
-        This refers to the process of identifying and locating errors in a feature model. 
-        Errors can include things like dead features, false optional features, or 
-        contradictions in the constraints.
-        """
-        try:
-            self._transform_to_sat()
-            #errors = self.dm.use_operation(self.sat_model,'Glucose3ErrorDetection').get_result()
-
-            operation = self.dm.get_operation(self.sat_model,'PySATErrorDetection')
-            operation.feature_model=self.fm_model
-            operation.execute(self.sat_model)
-            result = operation.get_result()
-            return result
-        except Exception as e:
-            print(f"Error: {e}")
-            return None
-
-
     def false_optional_features(self):
         """
         These are features that appear to be optional in the feature model, but due to the 
@@ -265,30 +251,41 @@ class FLAMAFeatureModel():
             return None
 
 
-    def configurations_number(self):
+    def configurations_number(self, with_sat:bool=False):
         """
         This is the total number of different full configurations that can be produced from a feature model. 
         It's calculated by considering all possible combinations of features, taking into account 
         the constraints and dependencies between features.
         """
         try:
-            self._transform_to_sat()
-            nop = self.dm.use_operation(self.sat_model,'PySATConfigurationsNumber').get_result()
+            nop=0
+            if with_sat:
+                self._transform_to_sat()
+                nop = self.dm.use_operation(self.sat_model,'PySATConfigurationsNumber').get_result()
+                
+            else:
+                self._transform_to_bdd()
+                nop = self.dm.use_operation(self.bdd_model,'BDDConfigurationsNumber').get_result()
             return nop
         except Exception as e:
             print(f"Error: {e}")
             return None
 
 
-    def configurations(self):
+    def configurations(self, with_sat:bool=False):
         """
         These are the individual outcomes that can be produced from a feature model. Each product 
         is a combination of features that satisfies all the constraints and dependencies in the 
         feature model.
         """
         try:
-            self._transform_to_sat()
-            products = self.dm.use_operation(self.sat_model,'PySATConfigurations').get_result()
+            products=[]
+            if with_sat:
+                self._transform_to_sat()
+                products = self.dm.use_operation(self.sat_model,'PySATConfigurations').get_result()
+            else:
+                self._transform_to_bdd()
+                products = self.dm.use_operation(self.bdd_model,'BDDConfigurations').get_result()
             return products
         except Exception as e:
             print(f"Error: {e}")

{flamapy-2.0.0.dev0 → flamapy-2.0.0.dev2}/flamapy.egg-info/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: flamapy
-Version: 2.0.0.dev0
+Version: 2.0.0.dev2
 Summary: Flamapy feature model is a distribution of the flama framework containing all plugins required to analyze feature models. It also offers a richier API and a complete command line interface and documentation.
 Home-page: https://github.com/flamapy/flamapy-feature-model
 Author: Flamapy

flamapy-2.0.0.dev2/flamapy.egg-info/requires.txt

@@ -0,0 +1,12 @@
+wheel
+flamapy-fw==2.0.0.dev2
+flamapy-fm==2.0.0.dev2
+flamapy-sat==2.0.0.dev2
+flamapy-bdd==2.0.0.dev1
+
+[dev]
+pytest
+pytest-mock
+prospector
+mypy
+coverage

{flamapy-2.0.0.dev0 → flamapy-2.0.0.dev2}/setup.py

@@ -4,10 +4,19 @@ import setuptools
 with open("README.md", "r") as fh:
     long_description = fh.read()
 
+def read_requirements(file):
+    with open(file, "r") as fh:
+        return fh.read().splitlines()
+
+# Read requirements from the requirements.txt file
+requirements = read_requirements("requirements.txt")
+
+# Read development requirements from the dev-requirements.txt file
+dev_requirements = read_requirements("requirements-dev.txt")
 
 setuptools.setup(
     name="flamapy",
-    version="2.0.0.dev0",
+    version="2.0.0.dev2",
     author="Flamapy",
     author_email="flamapy@us.es",
     description="Flamapy feature model is a distribution of the flama framework containing all plugins required to analyze feature models. It also offers a richier API and a complete command line interface and documentation.",
@@ -21,20 +30,9 @@ setuptools.setup(
         "Operating System :: OS Independent",
     ],
     python_requires='>=3.9',
-    install_requires=[
-        "wheel",
-        "flamapy-fw~=2.0.0.dev0",
-        "flamapy-fm~=2.0.0.dev0",
-        "flamapy-sat~=2.0.0.dev0",    
-    ],
+    install_requires=requirements,
     extras_require={
-        'dev': [
-            'pytest',
-            'pytest-mock',
-            'prospector',
-            'mypy',
-            'coverage',
-        ]
+        'dev': dev_requirements
     },
     entry_points={
         'console_scripts': [

flamapy-2.0.0.dev0/flamapy.egg-info/requires.txt

@@ -1,11 +0,0 @@
-wheel
-flamapy-fw~=2.0.0.dev0
-flamapy-fm~=2.0.0.dev0
-flamapy-sat~=2.0.0.dev0
-
-[dev]
-pytest
-pytest-mock
-prospector
-mypy
-coverage