parse_region¶
Warning
The stormpy developer API is internal and can be subject to change.
- parse_region(
- input_string: str,
- considered_variables: collections.abc.Set[stormpy.numbers.Variable],
Parse region from string, e.g. 0.3<=p<=0.5,0.1<=q<=0.4
Warning
The stormpy developer API is internal and can be subject to change.
Parse region from string, e.g. 0.3<=p<=0.5,0.1<=q<=0.4