menu
fixed_z3 package
documentation
z3.dart
Context
fpaRtn property
fpaRtn property
dark_mode
light_mode
fpaRtn
property
Expr
fpaRtn
late
final
The rounding mode to round toward negative.
Implementation
late final fpaRtn = _getExpr(_fpaRtn);
fixed_z3 package
documentation
z3
Context
fpaRtn property
Context class