Uses of Package
com.tech.app.models.gma

Packages that use com.tech.app.models.gma

Package	Description
com.tech.app.models
com.tech.app.models.gma
com.tech.app.windows
com.tech.app.windows.panels

Classes in com.tech.app.models.gma used by com.tech.app.models

Class	Description
CoverabilityGraph	Cette classe nous permet de calculer l'arbre de couverture.

Classes in com.tech.app.models.gma used by com.tech.app.models.gma

Class	Description
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.

Classes in com.tech.app.models.gma used by com.tech.app.windows

Class	Description
CoverabilityGraph	Cette classe nous permet de calculer l'arbre de couverture.
ReachabilityGraph	Cette classe nous permet de créer le GMA.

Classes in com.tech.app.models.gma used by com.tech.app.windows.panels

Class	Description
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.