transform_symbolic_to_sparse_model

Warning

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

transform_symbolic_to_sparse_model(

symbolic_model: stormpy.developer.storage._storage._SymbolicModel_Sylvan_Double,

formulas: collections.abc.Sequence[stormpy.logic.Formula] = [],

) → stormpy.developer.storage._storage._SparseModel_Double

transform_symbolic_to_sparse_model(

symbolic_model: stormpy.developer.storage._storage._SymbolicModel_Sylvan_Rational,

formulas: collections.abc.Sequence[stormpy.logic.Formula] = [],

) → stormpy.developer.storage._storage._SparseModel_Rational

transform_symbolic_to_sparse_model(

symbolic_model: stormpy.developer.storage._storage._SymbolicModel_Sylvan_RationalFunction,

formulas: collections.abc.Sequence[stormpy.logic.Formula] = [],

) → stormpy.developer.storage._storage._SparseModel_RationalFunction

Transform symbolic model into sparse model

Transform symbolic model into sparse model

Transform symbolic model into sparse model