getArity method

int getArity()

Gets the arity of this function.

Implementation

int getArity() {
  return _c._z3.func_interp_get_arity(_f);
}