menu
fixed_z3 package
documentation
z3.dart
FloatNumeral
isSubnormal property
isSubnormal property
dark_mode
light_mode
isSubnormal
property
@
override
bool
get
isSubnormal
override
Implementation
@override bool get isSubnormal => _c._z3.fpa_is_numeral_subnormal(_n);
fixed_z3 package
documentation
z3
FloatNumeral
isSubnormal property
FloatNumeral class