Merge branch 'main' of https://github.com/flamapy/bdd_metamodel_colosal

flamapy · Nov 2, 2024 · 76ae72d · 76ae72d
2 parents 79152c1 + 2531f0f
commit 76ae72d
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 4 deletions.
diff --git a/flamapy/metamodels/bdd_metamodel/models/bdd_model.py b/flamapy/metamodels/bdd_metamodel/models/bdd_model.py
@@ -61,8 +61,9 @@ def bdd_file(self, dddmp_file: str) -> None:
         self._temporal_bdd_file = False
 
     def __del__(self) -> None:
-        if self._bdd_file is not None and self._temporal_bdd_file:
-            Path(self._bdd_file).unlink()
+        pass
+        #if self._bdd_file is not None and self._temporal_bdd_file:
+        #    Path(self._bdd_file).unlink()
 
     def _set_global_constants(self) -> None:
         """Private auxiliary function that configures the following global constants.

diff --git a/flamapy/metamodels/bdd_metamodel/operations/bdd_feature_inclusion_probability.py b/flamapy/metamodels/bdd_metamodel/operations/bdd_feature_inclusion_probability.py
@@ -91,7 +91,6 @@ def feature_inclusion_probability(bdd_model: BDDModel,
     probabilities = {}
     for line in line_iterator:
         parsed_line = re.compile(r'\s+').split(line.strip())
-        print(f'Feature: {parsed_line[0]}')
         original_feature_name = bdd_model.features_names.get(parsed_line[0])
         probabilities[original_feature_name] = round(float(parsed_line[1]), precision)
     return probabilities
diff --git a/flamapy/metamodels/bdd_metamodel/transformations/fm_to_bdd.py b/flamapy/metamodels/bdd_metamodel/transformations/fm_to_bdd.py
@@ -26,6 +26,7 @@ def transform(self) -> BDDModel:
                                          ) as file:
             SPLOTWriter(path=file.name, source_model=self.source_model).transform()
             bdd_model = SPLOTReader(file.name).transform()
+            print(f'here is my BDD: {bdd_model}')
             bdd_model.variables = [f.name for f in self.source_model.get_features()]
             bdd_model.features_names = {f.name.replace(' ', ''): f.name 
                                         for f in self.source_model.get_features()}

diff --git a/flamapy/metamodels/bdd_metamodel/transformations/splot_reader.py b/flamapy/metamodels/bdd_metamodel/transformations/splot_reader.py
@@ -53,8 +53,9 @@ def build_bdd(model_file: str, bdd_model: BDDModel) -> None:
         raise FlamaException(message) from exc
 
     # Run binary logic2bdd's execution
-    #print("Synthesizing the BDD (this may take a while)...")
+    print("Synthesizing the BDD (this may take a while)...")
     bdd_model.run(BDDModel.LOGIC2BDD, file_name)
+    print("Synthesizing of the BDD finished.")
     # Check that logic2bdd's execution was successful
     try:
         bdd_model.check_file_existence(file_name, "dddmp")