menu
fixed_z3 package
documentation
z3.dart
BitVecNumeral
isNegative property
isNegative property
dark_mode
light_mode
isNegative
property
@
override
bool
get
isNegative
override
Implementation
@override bool get isNegative => false;
fixed_z3 package
documentation
z3
BitVecNumeral
isNegative property
BitVecNumeral class