Manuel
PHP
Précédent
Suivant
gmp_popcount
gmp_popcount -- Compte de population
Description
int
gmp_popcount
( resource a)
gmp_popcount(
)
dénombre
la
population
de
a
.
Précédent
Sommaire
Suivant
Niveau
supérieur