Uses of Package

Classes in used by Default Package
AutoSave
          Cette classe définit une structure qui nous permet de stocker les états actuels et précédents de l'automate.
Lireetecrire
          Cette classe permet de créer un journal qui stock la trace d'execution de l'automate.