quotient

Warning

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

quotient(

arg0: stormpy.numbers.developer.cln.Interval,

arg1: stormpy.numbers.developer.cln.Interval,

) → stormpy.numbers.developer.cln.Interval