setElse method

void setElse(Expr value)

Implementation

void setElse(Expr value) {
  _c._z3.func_interp_set_else(_f, _c._createAST(value));
}