YO

/* dicoMot
 * Author: e188314p
 * Creation date: 08/01/20
 */
MACHINE
    dicoMot
SETS
    MOT /* un ensemble abstrait de mots */
    ; SIGNIFIK = {s0,s1,s2}/* un ensemble abstrait, des significations */
CONSTANTS
    maxMots  /* borne */
PROPERTIES
    maxMots : 1..MAXINT
VARIABLES
    mots /* sous ensemble de mots */
,    dico /* représente le dictionnaire */
INVARIANT
    mots : FIN(MOT)//mots <: MOT /* sous ens de mots utilisés, borné */
&   card(mots) <= maxMots
&   dico : mots --> SIGNIFIK
INITIALISATION
    mots := {} ||
    dico := {} /* : mots --> SIGNIFIK */
OPERATIONS
    ajoutMot(mm, signif) =
    PRE mm : MOT & mm /: mots
        & signif : SIGNIFIK
        & (mm,signif) /: dico
        & card(mots) < maxMots
    THEN
        mots := mots \/ {mm}
        || dico(mm) := signif
    END

;   RetraitMot(mm) =
    PRE  mm : MOT & mm : dom(dico)
        & card(mots) > 1
    THEN
        mots := mots - {mm}
        ||  dico := {mm} <<| dico
    END

;   bb <-- existeMot(mm) =
    PRE  mm : MOT
    THEN
        bb := bool(mm : dom(dico))
    END

;   res <-- rechercheSignifMot(mm) = /* trouver la signification d’un mot */
    PRE mm : MOT & mm : dom(dico)
    THEN
        res := dico(mm)
    END

END