stormpy.numbers.developer.convert¶

Warning

The stormpy developer API is internal and can be subject to change.

Functions

`convert_to_cln`(data)	Convert data type to cln.
`convert_to_gmp`(data)	Convert data type to gmp.