build_explicit_model

Warning

The stormpy developer API is internal and can be subject to change.

build_explicit_model(

transitions_file: str,

labeling_file: str,

state_rewards_file: str | None,

transition_rewards_file: str | None,

choice_labeling_file: str | None,

options: stormpy.io.ExplicitModelParserOptions = <stormpy.io.ExplicitModelParserOptions object at 0x70e04790baf0>,

) → stormpy.developer.storage._storage._SparseModel_Double

Build sparse model from explicit input files