isPositive property

@override bool get isPositive

Implementation

@override
bool get isPositive => _c._z3.algebraic_is_pos(_n);