menu
fixed_z3 package
documentation
z3.dart
FloatNumeral
toRat method
toRat method
dark_mode
light_mode
toRat
method
@
override
Rat
toRat
(
)
override
Implementation
@override Rat toRat() => Rat.fromDouble(value);
fixed_z3 package
documentation
z3
FloatNumeral
toRat method
FloatNumeral class