| CoverabilityGraph |
Cette classe nous permet de calculer l'arbre de couverture.
|
| CustomEdge |
CustomEdge est une classe qui est utilisée dans l'affichage du GMA.
|
| Marquage |
Classe qui permet d'ajouter des attributs à un marquage (@CoverabiltyGraph).
|
| Node |
Cette classe nous permet de créer une structure d'arbre que l'on utilise dans la création du GMA / Graphe de couverture.
|
| NodeStruct |
Cette classe permet de faire le lien entre un noeud et la transition qui mène à ce noeud.
|
| ReachabilityGraph |
Cette classe nous permet de créer le GMA.
|