UmbModel

class UmbModel

Bases: pybind11_object

Model in the UMB format

get_model_information(self: stormpy.io.UmbModel) → str

Detailed description of the model

get_short_model_information(self: stormpy.io.UmbModel) → str

Short description of the model

validate(self: stormpy.io.UmbModel) → tuple[bool, str]

Validate the UMB model; returns (is_valid, error_string)

validate_or_throw(self: stormpy.io.UmbModel) → None

Validate the UMB model or throw on error