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