Start Developer API Documentation stormpy.developer.storage parameters_of_model parameters_of_model¶ Warning The stormpy developer API is internal and can be subject to change. parameters_of_model(model)¶ Return the value-type parameter of a sparse model or model components.