Warning

Pycarl is now part of stormpy and this repository is no longer maintained. Please use the Github repository of stormpy instead.

Pycarl convert

Number conversion

pycarl.convert.convert_to_cln(data)

Convert data type to cln. :param data: data structure. :return: cln data structure.

pycarl.convert.convert_to_gmp(data)

Convert data type to gmp. :param data: data structure. :return: gmp data structure.