getElse method

Expr getElse()

Implementation

Expr getElse() {
  return _c._getExpr(_c._z3.func_interp_get_else(_f));
}