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