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