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

[Roberto Bagnara]

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 at cs.unipr.it