substitute_constants_in_properties¶
Warning
The stormpy developer API is internal and can be subject to change.
- substitute_constants_in_properties(
- properties: collections.abc.Sequence[stormpy.logic.Property],
- substitution: collections.abc.Mapping[stormpy.expressions.Variable, stormpy.expressions.Expression],
Substitute constants in properties