build_sparse_model¶
Warning
The stormpy developer API is internal and can be subject to change.
- build_sparse_model[ValueType](
- model: stormpy.io.SymbolicModelDescription,
- options: stormpy.developer.BuilderOptions,
- exploration_options: stormpy.developer.ExplicitModelBuilderOptions[ValueType] = ...,
- build_sparse_model[ValueType](
- model: stormpy.io.SymbolicModelDescription,
- formulas: collections.abc.Sequence[stormpy.logic.Formula],
Select a specialization with
build_sparse_model[ValueType](...).The default specialization is
build_sparse_model[float].Template arguments:
ValueType(type)
Supported specializations:
build_sparse_model[float],build_sparse_model[stormpy.numbers.Rational],build_sparse_model[stormpy.numbers.RationalFunction],build_sparse_model[stormpy.numbers.Interval],build_sparse_model[stormpy.numbers.RationalInterval].build_sparse_model[ValueType](model: stormpy.io.SymbolicModelDescription, options: stormpy.developer.BuilderOptions, exploration_options: stormpy.developer.ExplicitModelBuilderOptions[ValueType] = ...) -> stormpy.models.SparseModel[ValueType]
Build model in sparse representation
build_sparse_model[ValueType](model: stormpy.io.SymbolicModelDescription, formulas: collections.abc.Sequence[stormpy.logic.Formula]) -> stormpy.models.SparseModel[ValueType]
Build model in sparse representation preserving the given formulas