getSize method

int getSize()

Implementation

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