div

Warning

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

div(

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

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

) → stormpy.numbers.developer.cln.Interval