We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent dc51088 commit 2272f8cCopy full SHA for 2272f8c
lib/stormpy/storage/__init__.py
@@ -67,7 +67,7 @@ def get_maximal_end_components(model):
67
:return: Maximal end components.
68
"""
69
if model.supports_parameters:
70
- return stormpy.jMaximalEndComponentDecomposition_ratfunc(model)
+ return stormpy.MaximalEndComponentDecomposition_ratfunc(model)
71
elif model.is_exact:
72
return stormpy.MaximalEndComponentDecomposition_exact(model)
73
elif model.supports_uncertainty:
0 commit comments