getSignificandBv method

BitVecNumeral getSignificandBv()

Implementation

BitVecNumeral getSignificandBv() {
  final result = _c._z3.fpa_get_numeral_significand_bv(_n);
  return _c._getAST(result) as BitVecNumeral;
}