Code :
-------------------------------------------------------------- -- -- -- MODULE DE STRUCTURES DE DONNEES -- -- -- -- PAQUETAGE DES LISTES CONTIGUES -- -- -- -- preconditions -- -- Inserer(Dans, En, Val): 1 <= En <= Longueur(Dans) + 1 -- -- Supprimer (Dans, En), Ieme (Dans, En), -- -- Changer_Ieme (Dans, En, Val), Tronquer (Dans, En): -- -- 1 <= En <= Longueur (Dans) -- -- contrainte d'implantation -- -- Inserer (Dans, En, Val), Prolonger (Dans, Val): -- -- Longueur (Dans) < Dans.Taille_Max -- -- proprietes fonctionnelles -- -- longueur (l) = -- -- si l = creation alors 0 -- -- sinsi l = inserer(l', k, e) alors longueur(l')+1 -- -- sinon soit l = supprimer(l', k); longueur(l')-1 -- -- fsi -- -- ieme(insSer(l, k, e), i) = -- -- si 1 <= i < k alors ieme(l, i) -- -- sinsi i = k alors e -- -- sinon ieme(l, i - 1) -- -- fsi -- -- ieme(supprimer(l, k), i) = -- -- si 1 <= i < k alors ieme(l, i) -- -- sinon ieme(l, i + 1) -- -- fsi -- -- changer_ieme (l, k, e) = inserer(supprimer(l,k),k,e) -- -- prolonger (l, e) = inserer(l, longueur(l), e) -- -- tronquer (l, k) = -- -- si longueur(l) = k alors l -- -- sinon tronquer(supprimer(l,k),k) fsi -- -- -- -- Auteur: Christian CARREZ, -- -- Institution: CNAM 292 rue Saint Martin, 75141 Paris 03 -- -- Derniere modification: 1 juillet 1997 -- --------------------------------------------------------------
|