All Classes

Class	Description
App	Classe qui crée l'application et qui la fait tourner.
Arc	Classe pour créer l'objet Arc.
CheckThreadViolationRepaintManager	This class is used to detect Event Dispatch Thread rule violations See How to Use Threads for more info
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.
DrawingToolbar	Classe pour créer la barre de dessin (où l'on sélectionne les outils)
DrawMouse	Cette classe permet de récupérer les actions de la souris sur l'application, plus particulièrement dans la zone de dessin.
DrawMouse.MODE	Modes : NONE, PLACE, TRANSITION, ARC, ATTRIBUTS, SELECT, LABEL.
DrawPanel	Classe qui gère la zone de dessin
FList	Classe avec quelques fonctions pour des listes
FMaths	Classe avec des fonctions mathématiques
FUtils	Classe avec des fonctions utiles.
FUtils.Graphics
FUtils.OS
FUtils.Program
FUtils.Screen
GChandler	Classe qui gère l'affichage du Graphe de couverture.
GCWindow	Classe qui permet de créer la fenêtre du GMA/ Graphe de couverture.
GCWindowHandler	Classe qui permet de gérer la fenêtre du GMA/Graphe de couverture.
GMAhandler	Classe qui gère l'affichage du GMA
GMAWindow	Classe qui permet de créer la fenêtre du GMA qui hérite de la classe abstraite Window.
GMAWindowHandler	Classe qui permet de gérer la fenêtre du GMA.
MainWindow	Classe qui permet de créer la fenêtre de l'application qui hérite de la classe abstraite Window.
MainWindowHandler	Classe qui permet de gérer la fenêtre de l'application.
Marquage	Classe qui permet d'ajouter des attributs à un marquage (@CoverabiltyGraph).
Menu	Classe pour créer le Menu (en haut de la fenêtre)
MenuBar	Classe abstraite utilisée pour créer la barre de menu
Model	Cette classe est le coeur du RdP.
ModelProperties	Classe dans laquelle sont définies quelques propriétés des réseaux de Pétri.
ModelProperties.MODEL_PROPS
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.
Place	Cette classe permet de créer l'objet Place.
PointControle	Classe qui permet de créer un objet PointControle.
ReachabilityGraph	Cette classe nous permet de créer le GMA.
SaveManager	Classe qui gère la sauvegarde et le chargement de fichier.
Stepper	Classe qui permet de simuler pas à pas le RdP actuel.
StepperHandler	Classe qui gère l'affichage du Stepper.
StepperMouse	Classe qui permet de gérer les actions de la souris dans le fenêtre du Stepper.
StepperToolbar	Classe pour créer la barre d'outil du Stepper.
StepperWindow	Classe qui permet de créer la fenêtre du stepper.
StepperWindowHandler	Classe qui permet de gérer la fenêtre du stepper.
Toolbar	Classe abstraite utilisée pour créer la DrawingToolbar
Transition	Cette classe permet de créer l'objet Transition.
Window	Classe abstraite qui permet d'avoir la base d'une fenêtre.
WindowHandler	Classe abstraite qui permet de gérer les fenêtres de l'application.