#15 Spec Algebrique RendezVous

[Lucas Noga]

Repsecter la spécification algébrique de l'élément RendezVous

Référence: string, booléen
Description:
Il s’agit de l’objet unitaire du planning, il contient le nom de l’intervenant et le nom et l’adresse du bénéficiaire.
Les opérations associées sont:

- créer, qui crée un nouveau rendez-vous
- getInterv, qui renvoie une chaîne de caractère contenant le nom et la profession de l’intervenant.
- getBenef, qui renvoie une qui renvoie une chaîne de caractère contenant le nom et l’adresse du bénéficiaire.
- compare, qui compare deux rendez-vous et renvoie true si ils sont identique et false sinon

Signature:

- créer: string -> article
- getInterv: article -> string
- getBenef: article -> string
- compare: article X article -> booléen

Axiomes
Compare(rdv1,rdv2) = true ssi getInterv(rdv1) == getInterv(rdv2) AND getBenef(rdv1) == getBenef(rdv2)