FM to BDD

This transformation converts a feature model into a Binary Decision Diagram (BDD) representation. BDDs are efficient for representing and manipulating logical functions, making them ideal for feature model analysis.

flamapy relies on file extensions to identify the required transformation. Ensure you specify the correct file extension for this transformation.

---

Code Examples

from flamapy.metamodels.fm_metamodel.transformations.featureide_reader import FeatureIDEReader
from flamapy.metamodels.bdd_metamodel.transformations.fm_to_bdd import FmToBDD

# Load the feature model from a FeatureIDE file
feature_model = FeatureIDEReader('path/to/feature/model.xml').transform()

# Transform the feature model into a BDD representation
bdd_model = FmToBDD(feature_model).transform()

print(bdd_model)