1
IUT Bordeaux 1 méthodes formelles Licence SIL
Dépt. Informatique Option ACPI
TP4 : Méthode extractMin
Méthode extractMin
de Exemples\I\bag.java
1. Spécifiez la méthode extractMin
de Exemples\I\bag.java
avec des annotations JML
Cette méthode retourne la plus petite valeur du tableau a (après l’avoir retire du tableau).
2. Validez votre code.
//@ requires n >= 1;
int extractMin() {
int mindex = 0;
int m = a[mindex];
//@ loop_invariant 0 <= mindex & mindex < n;
//@ loop_invariant 0 <= i ;
for (int i = 0; i < n; i++) {
if (a[i] < m) {
mindex = i;
m = a[mindex];
}
}
n--;
a[mindex] = a[n];
a[n] = m;
return m;
}
}
1 / 1 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !