bdd_metamodel/main.py at master · flamapy/bdd_metamodel · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
from flamapy.core.discover import DiscoverMetamodels
from flamapy.metamodels.bdd_metamodel.operations import (
    BDDProductDistribution,
    BDDConfigurationsWithNFeatures,
    BDDCoreFeatures,
    BDDFalseOptionalFeatures
)
from flamapy.metamodels.bdd_metamodel.transformations import FmToBDD


FM_MODEL = 'resources/models/uvl_models/Pizzas.uvl'


def main() -> None:
    dm = DiscoverMetamodels()
    fm_model = dm.use_transformation_t2m(FM_MODEL, 'fm')
    bdd_model = FmToBDD(fm_model).transform()
    print(f'BDD model: {bdd_model}')

    pdist = BDDProductDistribution().execute(bdd_model).get_result()
    print(f'Product Distribution ({sum(pdist)}): {pdist}')

    n_features = 7
    bdd_configs_n_op = BDDConfigurationsWithNFeatures()
    bdd_configs_n_op.set_n_features(n_features)
    bdd_configs_n_op.execute(bdd_model)
    configs_n = bdd_configs_n_op.get_result()
    configs = list(configs_n)
    print(f'Configurations with {n_features} features: {len(configs)}')
    for i, config in enumerate(configs, 1):
        print(f'Config {i} with {n_features} features: {config.get_selected_elements()}')

    core_features = BDDCoreFeatures().execute(bdd_model).get_result()
    print(f'Core features: {core_features}')

    print(f'Features: {fm_model.get_features()}')
    print(f'Variables: {bdd_model.features_vars}')
    print(f'Feature-vars: {bdd_model.features_vars}')
    print(f'Var-features: {bdd_model.vars_features}')

    false_optional_features = BDDFalseOptionalFeatures().execute(bdd_model).get_result()
    print(f'False-optional features: {false_optional_features}')


if __name__ == "__main__":
    main()