isNegative property

@override bool get isNegative

Implementation

@override
bool get isNegative => _c._z3.algebraic_is_neg(_n);