menu
fixed_z3 package
documentation
z3.dart
BitVecSort
sMin method
sMin method
dark_mode
light_mode
sMin
method
BitVecNumeral
sMin
(
)
The smallest signed value i.e.
msb
.
Implementation
BitVecNumeral sMin() => msb();
fixed_z3 package
documentation
z3
BitVecSort
sMin method
BitVecSort class