stormpy icon indicating copy to clipboard operation
stormpy copied to clipboard

Published 20 hours ago • verified publisher icon moves-rwth

Generalized functions get_value and get_values_states for valuations

Open volkm opened this issue 6 days ago • 0 comments

Fixes https://github.com/moves-rwth/stormpy/issues/210

Add general functions get_value and get_values_states which are type-independent and internally call the right Storm function.

volkm avatar Feb 21 '25 14:02 volkm