menu
fixed_z3 package
documentation
z3.dart
fpaIsNormal function
fpaIsNormal function
dark_mode
light_mode
fpaIsNormal
function
Expr
fpaIsNormal
(
Expr
x
)
Implementation
Expr fpaIsNormal(Expr x) => UnaryOp(UnaryOpKind.fpaIsNormal, x).declare();
fixed_z3 package
documentation
z3
fpaIsNormal function
z3 library