[PPL-devel] Re: GMP 4.0.1/C++: Where are the cmp() functions?

Roberto Bagnara bagnara@cs.unipr.it writes:

The documentation of GMP 4.0.1 mentions the availability of several cmp() functions, such as

• Function: int cmp (mpz_class OP1, type OP2)
• Function: int cmp (type OP1, mpz_class OP2)

However, they do not seem to be defined, neither in gmpxx.h nor anywhere else.

Hmm. I think you're right.

What am I missing?

Nothing I can see, or nothing but those functions. :-)

I wrote that doco, I guess I got ahead of the actual implementation. Gerardo?