parse_constant_definition_string¶
Warning
The stormpy developer API is internal and can be subject to change.
- parse_constant_definition_string(
- manager: stormpy.expressions.ExpressionManager,
- constant_definition_string: str,
Parse a string of constant definitions