Bonjour,

J'ai appris qu'un type abstrait de donnée était composé de 5 champs : TA, utilise, opération, pré-conditions, axiomes.

Ce pendant, je ne comprends pas la différence entre les deux derniers termes et ce qu'ils représentent concrètement dans un cas différent d'une liste, par exemple une classe.

Code : Sélectionner tout - Visualiser dans une fenêtre à part
1
2
3
4
5
6
7
8
9
10
11
class Etudiant {
int note1;
public :
Etudiant (int x) {note1=x;}
~Etudiant (){}
void reussite ();
};

void Etudiant::reussite (){
if (note1 > 10)cout<<"Vous avez reussi";
}
Est-ce que note1>10 est bien une pré-condition ? Sinon que pourrais-je rajouter à cette classe pour avoir des pré-conditions et des axiomes ?

Merci beaucoup pour votre aide =)