readInteger_mpz_class()

mpz_class readInteger_mpz_class	(	const std::string_view &	str,
		size_t &	begin_loc,
		size_t	end_loc )

Definition at line 78 of file BasicPolyListParser.cpp.

{
  // if str[0] is a digit, find the value, and increment str past the number.
  // if it is not: return 1, leave str unchanged.
  mpz_class result;
  if (not isdigit(str[begin_loc])) return result = 1;
  result = 0;
  size_t loc = begin_loc;
  while (loc < end_loc and isdigit(str[loc]))
    {
      result *= 10;
      result += str[loc] - '0';
      loc++;
    }
  begin_loc = loc;
  return result;
}

References result().

Referenced by parseBasicPoly().