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

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. What am I missing? All the best Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it