Configurations

Description: Generates all possible valid configurations of a feature model. Each configuration represents a valid product that can be derived from the feature model.

Application: Useful for exhaustive analysis of all potential configurations in a product line.

Example: Listing all valid combinations of features that can form different product variants.

---

Code Examples

Command line usage

flamapy configurations "path/to/feature/model"

Python easy to use facade usage

from flamapy.interfaces.python.flamapy_feature_model import FLAMAFeatureModel
# Load the feature model
fm = FLAMAFeatureModel("path/to/feature/model")
# This method could be called with the param  with_sat: bool = True if you want to force pysat (useful for WASM enviroments) 
configurations = fm.configurations() 
print(configurations)

Python flamapy framework usage

from flamapy.core.discover import DiscoverMetamodels
# Initiallize the dicover metamodel
dm = DiscoverMetamodels()
# Call the operation. Transformations will be automatically executed
# Use BDDConfigurations if you want to rely on BDD solver
result = dm.use_operation_from_file("PySATConfigurations","path/to/feature/model")
print(result)

Python flamapy framework ADVANCED usage

from flamapy.core.discover import DiscoverMetamodels
# Initiallize the dicover metamodel
dm = DiscoverMetamodels()
# Get the fm metamodel representation using the transformation 
# required to get to the fm metamodel
feature_model = dm.use_transformation_t2m("path/to/feature/model",'fm') 
# Manually call a M2M transformation to Pysat
sat_model = dm.use_transformation_m2m(feature_model,"pysat")
# Get the operation
operation = dm.get_operation(sat_model,'PySATConfigurations')
# Execute the operation
operation.execute(sat_model)
# Get and print the result
result = operation.get_result()
print(result)

In the case of willing to use BDD solving techniques

from flamapy.core.discover import DiscoverMetamodels
# Initiallize the dicover metamodel
dm = DiscoverMetamodels()
# Get the fm metamodel representation using the transformation 
# required to get to the fm metamodel
feature_model = dm.use_transformation_t2m("path/to/feature/model",'fm') 
# Manually call a M2M transformation to BDD
bdd_model = dm.use_transformation_m2m(feature_model,"bdd")
# Get the operation
operation = dm.get_operation(bdd_model,'BDDConfigurations')
# Execute the operation
operation.execute(bdd_model)
# Get and print the result
result = operation.get_result()
print(result)