menu
fixed_z3 package
documentation
z3.dart
IrrationalNumeral
toRat method
toRat method
dark_mode
light_mode
toRat
method
@
override
Rat
toRat
(
)
override
Implementation
@override Rat toRat() => (getLower().value + getUpper().value) / Rat.fromInt(2);
fixed_z3 package
documentation
z3
IrrationalNumeral
toRat method
IrrationalNumeral class