setElse method

void setElse(
  1. Expr value
)

Sets the value of this function when no other entry matches.

Implementation

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