Rational

class Rational(arg0: SupportsFloat | SupportsIndex)

class Rational(arg0: SupportsInt | SupportsIndex)

class Rational(arg0: stormpy.numbers.Integer, arg1: stormpy.numbers.Integer)

class Rational(arg0: str)

class Rational(arg0: stormpy.numbers.RationalFunctionCoefficient)

class Rational(arg0: fractions.Fraction)

Bases: pybind11_object

Class wrapping gmp-rational numbers

property denominator

property nominator

property numerator