build_symbolic_model¶
Warning
The stormpy developer API is internal and can be subject to change.
- build_symbolic_model[
- ValueType,
- env: stormpy.environments.Environment,
- model: stormpy.io.SymbolicModelDescription,
- formulas: collections.abc.Sequence[stormpy.logic.Formula],
- build_full_model: bool = False,
- apply_maximum_progress: bool = True,
- fix_deadlocks: bool = True,
Select a specialization with
build_symbolic_model[ValueType](...).The default specialization is
build_symbolic_model[float].Template arguments:
ValueType(type)
Supported specializations:
build_symbolic_model[float],build_symbolic_model[stormpy.numbers.Rational],build_symbolic_model[stormpy.numbers.RationalFunction].Build model in symbolic representation