Integer

class Integer(arg0: SupportsInt | SupportsIndex)

class Integer(arg0: str)

class Integer(arg0: stormpy.numbers.developer.cln.Integer)

Bases: pybind11_object

Class wrapping gmp-integers