|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| 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. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||