module Zipper: sig
.. end
Compression et décompression de fichiers.
val encode : Huffman.encoding_dictionary -> Huffman.plain_text -> Huffman.cipher_text
Encodage d'un texte en clair, renvoie un texte compressé.
val decode : Huffman.decoding_dictionary -> Huffman.cipher_text -> Huffman.plain_text
Décodage d'un texte compressé. Le second argument doit avoir été produit par
la fonction encode
à partir du dictionnaire d'encodage qui correspond au
dictionnaire de décodage passé en premier argment.
Dans le cas contraire, le résultat est imprévisible et non
spécifié.
val compress : string -> unit
compress filename
crée le fichier filename.zz
qui contient, dans l'ordre,
le dictionnaire de décodage, le nombre de symboles contenus dans le fichier filename
,
la forme compressé du contenu du fichier filename
donné par la fonction encode
.
val decompress : string -> unit
decompress filename.zz
crée le fichier filename
dont le contenu est celui
du fichier original i.e. celui à partir duquel filename.zz
a été créé par
la fonction compress
.
Retour à la page du TD8