Fix minor issues

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.

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

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()}

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")

flamapy/metamodels/bdd_metamodel/transformations/splot_writer.py

@@ -37,7 +37,7 @@ def fm_to_splot(model: FeatureModel) -> str:
     lines.extend(add_features(model.root, 1))
     lines.append('</feature_tree>')
     lines.append('<constraints>')
-    lines.extend(add_constraints(model.ctcs))
+    lines.extend(add_constraints(model.get_logical_constraints()))
     lines.append('</constraints>')
     lines.append('</feature_model>')
     return '\n'.join(lines)