ModelInstantiator¶
- class ModelInstantiator[ModelType, ValueType]¶
Instantiate a parametric model
Template arguments:
ModelType(value)ValueType(type)
Available specializations:
ModelInstantiator[stormpy.models.ModelType.DTMC, float]ModelInstantiator[stormpy.models.ModelType.MDP, float]ModelInstantiator[stormpy.models.ModelType.CTMC, float]ModelInstantiator[stormpy.models.ModelType.MA, float]ModelInstantiator[stormpy.models.ModelType.DTMC, stormpy.numbers.Rational]ModelInstantiator[stormpy.models.ModelType.MDP, stormpy.numbers.Rational]ModelInstantiator[stormpy.models.ModelType.CTMC, stormpy.numbers.Rational]ModelInstantiator[stormpy.models.ModelType.MA, stormpy.numbers.Rational]ModelInstantiator[stormpy.models.ModelType.DTMC, stormpy.numbers.RationalFunction]ModelInstantiator[stormpy.models.ModelType.MDP, stormpy.numbers.RationalFunction]ModelInstantiator[stormpy.models.ModelType.CTMC, stormpy.numbers.RationalFunction]ModelInstantiator[stormpy.models.ModelType.MA, stormpy.numbers.RationalFunction]
Construction
Constructor signatures vary by specialization:
ModelInstantiator[stormpy.models.ModelType.DTMC, float](model: stormpy.models.SparseDtmc[stormpy.numbers.RationalFunction])ModelInstantiator[stormpy.models.ModelType.DTMC, stormpy.numbers.Rational](model: stormpy.models.SparseDtmc[stormpy.numbers.RationalFunction])ModelInstantiator[stormpy.models.ModelType.MDP, float](model: stormpy.models.SparseMdp[stormpy.numbers.RationalFunction])ModelInstantiator[stormpy.models.ModelType.MDP, stormpy.numbers.Rational](model: stormpy.models.SparseMdp[stormpy.numbers.RationalFunction])ModelInstantiator[stormpy.models.ModelType.CTMC, float](model: stormpy.models.SparseCtmc[stormpy.numbers.RationalFunction])ModelInstantiator[stormpy.models.ModelType.CTMC, stormpy.numbers.Rational](model: stormpy.models.SparseCtmc[stormpy.numbers.RationalFunction])ModelInstantiator[stormpy.models.ModelType.MA, float](model: stormpy.models.SparseMA[stormpy.numbers.RationalFunction])ModelInstantiator[stormpy.models.ModelType.MA, stormpy.numbers.Rational](model: stormpy.models.SparseMA[stormpy.numbers.RationalFunction])ModelInstantiator[stormpy.models.ModelType.DTMC, stormpy.numbers.RationalFunction](model: stormpy.models.SparseDtmc[stormpy.numbers.RationalFunction])ModelInstantiator[stormpy.models.ModelType.MDP, stormpy.numbers.RationalFunction](model: stormpy.models.SparseMdp[stormpy.numbers.RationalFunction])ModelInstantiator[stormpy.models.ModelType.CTMC, stormpy.numbers.RationalFunction](model: stormpy.models.SparseCtmc[stormpy.numbers.RationalFunction])ModelInstantiator[stormpy.models.ModelType.MA, stormpy.numbers.RationalFunction](model: stormpy.models.SparseMA[stormpy.numbers.RationalFunction])
Members¶
- ModelInstantiator.instantiate()¶
For
ModelInstantiator[stormpy.models.ModelType.DTMC, float],ModelInstantiator[stormpy.models.ModelType.DTMC, stormpy.numbers.Rational],ModelInstantiator[stormpy.models.ModelType.DTMC, stormpy.numbers.RationalFunction]:instantiate(self: stormpy.pars.ModelInstantiator[ModelType, ValueType], valuation: collections.abc.Mapping[stormpy.numbers.Variable, stormpy.numbers.RationalFunctionCoefficient]) -> stormpy.models.SparseDtmc[ValueType]
Instantiate model with given parameter values
For
ModelInstantiator[stormpy.models.ModelType.MDP, float],ModelInstantiator[stormpy.models.ModelType.MDP, stormpy.numbers.Rational],ModelInstantiator[stormpy.models.ModelType.MDP, stormpy.numbers.RationalFunction]:instantiate(self: stormpy.pars.ModelInstantiator[ModelType, ValueType], valuation: collections.abc.Mapping[stormpy.numbers.Variable, stormpy.numbers.RationalFunctionCoefficient]) -> stormpy.models.SparseMdp[ValueType]
Instantiate model with given parameter values
For
ModelInstantiator[stormpy.models.ModelType.CTMC, float],ModelInstantiator[stormpy.models.ModelType.CTMC, stormpy.numbers.Rational],ModelInstantiator[stormpy.models.ModelType.CTMC, stormpy.numbers.RationalFunction]:instantiate(self: stormpy.pars.ModelInstantiator[ModelType, ValueType], valuation: collections.abc.Mapping[stormpy.numbers.Variable, stormpy.numbers.RationalFunctionCoefficient]) -> stormpy.models.SparseCtmc[ValueType]
Instantiate model with given parameter values
For
ModelInstantiator[stormpy.models.ModelType.MA, float],ModelInstantiator[stormpy.models.ModelType.MA, stormpy.numbers.Rational],ModelInstantiator[stormpy.models.ModelType.MA, stormpy.numbers.RationalFunction]:instantiate(self: stormpy.pars.ModelInstantiator[ModelType, ValueType], valuation: collections.abc.Mapping[stormpy.numbers.Variable, stormpy.numbers.RationalFunctionCoefficient]) -> stormpy.models.SparseMA[ValueType]
Instantiate model with given parameter values