getElse method

Expr getElse()

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

Implementation

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