menu
fixed_z3 package
documentation
z3.dart
Rat
isNegative property
isNegative property
dark_mode
light_mode
isNegative
property
bool
get
isNegative
Whether this
Rat
is negative.
Implementation
bool get isNegative => n < BigInt.zero;
fixed_z3 package
documentation
z3
Rat
isNegative property
Rat class