menu
fixed_z3 package
documentation
z3.dart
FloatNumeral
isNegative property
isNegative property
dark_mode
light_mode
isNegative
property
@
override
bool
isNegative
final
Implementation
@override final bool isNegative;
fixed_z3 package
documentation
z3
FloatNumeral
isNegative property
FloatNumeral class