getSignBv method

BitVecNumeral getSignBv()

Implementation

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