menu
fixed_z3 package
documentation
z3.dart
FloatNumeral
isPositive property
isPositive property
dark_mode
light_mode
isPositive
property
@
override
bool
get
isPositive
override
Implementation
@override bool get isPositive => !isNegative;
fixed_z3 package
documentation
z3
FloatNumeral
isPositive property
FloatNumeral class