getSize method

int getSize()

Returns the number of formulas in the goal.

Implementation

int getSize() {
  return _c._z3.goal_size(_goal);
}