Method operator--

IntegerProgramming/BigInt.cc:154–159

postfix --

// postfix --
BigInt BigInt::operator--(int)
{
  BigInt erg;
  mpz_add(erg.value,value,BigInt(1).value);
  return erg;
}

BigInt operator-(const BigInt& r)
{