ConfigurationNumber returns int instead of float

flamapy · May 12, 2024 · 35543eb · 35543eb
1 parent 047d035
commit 35543eb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/flamapy/metamodels/bdd_metamodel/operations/bdd_configurations_number.py b/flamapy/metamodels/bdd_metamodel/operations/bdd_configurations_number.py
@@ -40,4 +40,4 @@ def configurations_number(bdd_model: BDDModel,
         values = dict(partial_configuration.elements.items())
         u_func = bdd_model.bdd.let(values, bdd_model.root)
         n_vars = len(bdd_model.variables) - len(values)
-    return bdd_model.bdd.count(u_func, nvars=n_vars)
+    return int(bdd_model.bdd.count(u_func, nvars=n_vars))