Accueil > Dictionnaire > Définitions du mot « décrémenter »
Décrémenter
[dekremɑ̃te]
Définitions de « décrémenter »
Décrémenter - Verbe
-
(Programmation) Opération consistant à réduire la valeur d'une variable d'une quantité spécifiée, généralement de un.
Dans son nouveau code, le développeur avait astucieusement décrémenté chaque compteur dans ses boucles, optimisant ainsi le fonctionnement général du logiciel.
— (Citation fictive)
Étymologie de « décrémenter »
De décrément.Usage du mot « décrémenter »
Évolution historique de l’usage du mot « décrémenter » depuis 1800
Synonymes de « décrémenter »
Citations contenant le mot « décrémenter »
-
La bague rotative centrale correspond à l'effectif de l'unité, elle peut aussi bien décrémenter des pertes lors des engagements qu'incrémenter des fuyards lors des ralliements.
Tric Trac — Le wargame fait sa révolution. - Actualités - Tric Trac
Traductions du mot « décrémenter »
Langue | Traduction |
---|---|
Anglais | decrement |
Espagnol | decremento |
Italien | diminuzione |
Allemand | dekrement |
Chinois | 递减 |
Arabe | التناقص |
Portugais | decremento |
Russe | декремент |
Japonais | デクリメント |
Basque | txikitze |
Corse | decrementazione |