stormvogel.stormpy_utils.mapping

Functions

stormvogel_to_stormpy(model)	Convert a stormvogel model to a stormpy sparse model.
value_to_stormvogel(→ stormvogel.model.value.Value)	Convert a stormpy transition value to a stormvogel value.
stormpy_to_stormvogel(→ stormvogel.model.model.Model)	Convert a stormpy sparse model to a stormvogel model.
from_prism([prism_code])	Create a stormvogel model from a PRISM program.

Module Contents

stormvogel.stormpy_utils.mapping.stormvogel_to_stormpy(model)

Convert a stormvogel model to a stormpy sparse model.

Parameters:

model – The stormvogel model to convert.

Returns:

The equivalent stormpy sparse model.

stormvogel.stormpy_utils.mapping.value_to_stormvogel(value, sparsemodel) → stormvogel.model.value.Value

Convert a stormpy transition value to a stormvogel value.

Parameters:

• value – The stormpy transition value.

• sparsemodel – The stormpy sparse model providing context.

Returns:

The converted stormvogel value.

stormvogel.stormpy_utils.mapping.stormpy_to_stormvogel(sparsemodel: stormpy.storage.SparseDtmc | stormpy.storage.SparseMdp | stormpy.storage.SparseCtmc | stormpy.storage.SparsePomdp | stormpy.storage.SparseMA) → stormvogel.model.model.Model

Convert a stormpy sparse model to a stormvogel model.

Parameters:

sparsemodel – The stormpy sparse model to convert.

Returns:

The equivalent stormvogel model.

Raises:

NotImplementedError – If the model type is not supported.

stormvogel.stormpy_utils.mapping.from_prism(prism_code='stormpy.storage.storage.PrismProgram')

Create a stormvogel model from a PRISM program.

Parameters:

prism_code – The PRISM program to build from.

Returns:

The converted stormvogel model.