getNumExprs method

int getNumExprs()

Implementation

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