div

Warning

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

div(

arg0: stormpy.numbers.RationalInterval,

arg1: stormpy.numbers.RationalInterval,

) → stormpy.numbers.RationalInterval