Integer

Warning

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

class Integer(arg0: SupportsInt | SupportsIndex)

class Integer(arg0: str)

class Integer(arg0: __gmp_expr<__mpz_struct [1], __mpz_struct [1]>)

Bases: pybind11_object

Class wrapping cln-integers