getNumExprs method

int getNumExprs()

Returns the number of formulas, subformulas and terms in the goal.

Implementation

int getNumExprs() {
  return _c._z3.goal_num_exprs(_goal);
}