isZero property

@override bool isZero

Implementation

@override
bool get isZero => _c._z3.fpa_is_numeral_zero(_n);