export_sparse_model_as_drn

Warning

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

export_sparse_model_as_drn(

model: stormpy.developer.storage._storage._SparseModel_Double,

filename: str,

options: stormpy.io.DirectEncodingExporterOptions,

parameter_names: collections.abc.Sequence[str] = [],

) → None

export_sparse_model_as_drn(

model: stormpy.developer.storage._storage._SparseModel_Rational,

filename: str,

options: stormpy.io.DirectEncodingExporterOptions,

parameter_names: collections.abc.Sequence[str] = [],

) → None

export_sparse_model_as_drn(

model: stormpy.developer.storage._storage._SparseModel_RationalFunction,

filename: str,

options: stormpy.io.DirectEncodingExporterOptions,

parameter_names: collections.abc.Sequence[str] = [],

) → None

export_sparse_model_as_drn(

model: stormpy.developer.storage._storage._SparseModel_Interval,

filename: str,

options: stormpy.io.DirectEncodingExporterOptions,

parameter_names: collections.abc.Sequence[str] = [],

) → None

export_sparse_model_as_drn(

model: stormpy.developer.storage._storage._SparseModel_RationalInterval,

filename: str,

options: stormpy.io.DirectEncodingExporterOptions,

parameter_names: collections.abc.Sequence[str] = [],

) → None

Export sparse model in DRN format

Export sparse model in DRN format

Export sparse model in DRN format

Export sparse model in DRN format

Export sparse model in DRN format