menu
fixed_z3 package
documentation
z3.dart
Rat
operator unary- method
operator unary- method
dark_mode
light_mode
operator unary-
method
Rat
operator unary-
(
)
Returns the negation of this
Rat
.
Implementation
Rat operator -() { return Rat(-n, d); }
fixed_z3 package
documentation
z3
Rat
operator unary- method
Rat class