menu
fixed_z3 package
documentation
z3.dart
AlgebraicNumeral
sign property
sign property
dark_mode
light_mode
sign
property
@
override
int
get
sign
override
Implementation
@override int get sign => _c._z3.algebraic_sign(_n);
fixed_z3 package
documentation
z3
AlgebraicNumeral
sign property
AlgebraicNumeral class