isInf property

@override bool isInf

Implementation

@override
bool get isInf => _c._z3.fpa_is_numeral_inf(_n);