menu
fixed_z3 package
documentation
z3.dart
Rat
operator / method
operator / method
dark_mode
light_mode
operator /
method
Rat
operator /
(
Rat
other
)
Divides this
Rat
by
other
.
Implementation
Rat operator /(Rat other) { return Rat(n * other.d, d * other.n); }
fixed_z3 package
documentation
z3
Rat
operator / method
Rat class