A B C D E F G H I J L M N O P R S T U V W X Y
All Classes All Packages

A

action(DrawMouse.MODE) - Method in class com.tech.app.windows.handlers.DrawMouse

Classe qui permet de modifier le mode de la souris en fonction de l'action voulue par l'utilisateur.

addArc(double, double, double, double) - Method in class com.tech.app.windows.panels.DrawPanel

Ajouter une arc au système d'un point d'origine (x1, y1) au point d'arrivée (x2, y2).

addArc(Arc) - Method in class com.tech.app.models.Model

Ajouter un arc.

addChildren(Arc) - Method in class com.tech.app.models.Transition

Méthode qui permet d'ajouter un arc à la liste des arcs enfants de la transition.

addChildren(NodeStruct) - Method in class com.tech.app.models.gma.Node

Méthode qui permet d'ajouter un noeud (NodeStruct) à la liste des enfants du noeud.

addChildren(Place) - Method in class com.tech.app.models.Transition

Méthode qui permet d'ajouter un arc à la liste des arcs enfants de la transition.

addChildren(ArrayList<Arc>) - Method in class com.tech.app.models.Transition

Méthode qui permet d'ajouter une liste d'arcs à la liste des arcs enfants de la transition.

addDirtyRegion(JComponent, int, int, int, int) - Method in class com.tech.app.functions.CheckThreadViolationRepaintManager

addInvalidComponent(JComponent) - Method in class com.tech.app.functions.CheckThreadViolationRepaintManager

addLabel(String) - Method in class com.tech.app.models.Place

Métholde qui permet d'ajouter un label à la place.

addLabel(String) - Method in class com.tech.app.models.Transition

Méthode qui permet d'ajouter un label à la transition

addMarquage(int) - Method in class com.tech.app.models.Place

Méthode qui permet d'ajouter une ou plusieurs marques à la place.

addParent(Arc) - Method in class com.tech.app.models.Transition

Méthode qui permet d'ajouter un arc à la liste des arcs parents de la transition.

addParent(NodeStruct) - Method in class com.tech.app.models.gma.Node

Méthode qui permet d'ajouter un noeud (NodeStruct) à la liste des parents du noeud.

addParent(Place) - Method in class com.tech.app.models.Transition

Méthode qui permet d'ajouter un arc à la liste des arcs parents de la transition.

addParents(ArrayList<Arc>) - Method in class com.tech.app.models.Transition

Méthode qui permet d'ajouter une liste d'arcs à la liste des arcs parents de la transition.

addPlace(double, double) - Method in class com.tech.app.windows.panels.DrawPanel

Ajouter une place au système et dans la zone de dessin

addPlace(Place) - Method in class com.tech.app.models.Model

Ajouter une place, et mettre à jour les matrices.

addPosition(int) - Method in class com.tech.app.models.Place

Méthode qui permet de donner la position du label de la place.

addPosition(int) - Method in class com.tech.app.models.Transition

Méthode qui permet de donner la position du label de la transition.

addTransition(double, double) - Method in class com.tech.app.windows.panels.DrawPanel

Ajouter une transition au système et à la zone de dessin

addTransition(Transition) - Method in class com.tech.app.models.Model

Ajouter une transition, puis mettre à jour les matrices.

addVector(Marquage, Vector<Vector<Integer>>, int) - Method in class com.tech.app.models.gma.CoverabilityGraph

Méthode qui nous permet de faire une addition entre un vecteur et une colonne d'une matrice.

addVector(Marquage, Vector<Vector<Integer>>, int) - Method in class com.tech.app.models.gma.ReachabilityGraph

Méthode qui nous permet de faire une addition entre un vecteur et une colonne d'une matrice.

addVector(Vector<Integer>, Vector<Vector<Integer>>, int) - Method in class com.tech.app.models.stepper.Stepper

Méthode qui nous permet de faire une addition entre un vecteur et une colonne d'une matrice.

angleBetween2Lines(Line2D.Double, Line2D.Double) - Static method in class com.tech.app.models.Arc

Méthode qui permet de calculer l'angle entre deux droites.

App - Class in com.tech.app

Classe qui crée l'application et qui la fait tourner.

App() - Constructor for class com.tech.app.App

applyDrawPanel(DrawPanel) - Method in class com.tech.app.windows.toolbars.Menu

Permet d'utiliser les fonctions publiques du DrawPanel directement dans cette classe

applyMenu() - Method in class com.tech.app.windows.toolbars.MenuBar

Applique le menu, le rendre visible sur la frame.

applyMenuBridge(Menu) - Method in class com.tech.app.windows.toolbars.DrawingToolbar

Permet d'utiliser les fonctions/méthodes publiques du menu passé en paramètre directement dans cette classe.

applyModel(Model) - Method in class com.tech.app.windows.toolbars.Menu

Permet d'utiliser les fonctions/méthodes publiques du Modèle passé en paramètre directement dans cette classe.

applyPanel() - Method in class com.tech.app.windows.panels.DrawPanel

Rendre la zone de dessin visible dans la fenêtre

applyPanel() - Method in class com.tech.app.windows.panels.StepperHandler

Rendre la zone de dessin visible dans la fenêtre

applySaveManager(SaveManager) - Method in class com.tech.app.windows.toolbars.Menu

Permet d'utiliser les fonctions publiques du SaveManager directement dans cette classe

applyToolbar() - Method in class com.tech.app.windows.toolbars.StepperToolbar

Rends la toolbar visible.

applyToolbar() - Method in class com.tech.app.windows.toolbars.Toolbar

Appliquer la toolbar, la rendre visible dans la frame.

Arc - Class in com.tech.app.models

Classe pour créer l'objet Arc.

Arc(Place) - Constructor for class com.tech.app.models.Arc

Constructeur d'arc utilisé dans la classe Transition.

Arc(Place, int) - Constructor for class com.tech.app.models.Arc

Constructeur d'arc

Arc(Place, int, double, double, boolean, Transition) - Constructor for class com.tech.app.models.Arc

Constructeur d'arc utilisé dans DrawPanel lorsque l'utilisateur clique sur la zone de dessin en ayant selectionné l'outil arc.

ARC - com.tech.app.windows.handlers.DrawMouse.MODE

arcAlreadyExist(List<Arc>, Arc) - Method in class com.tech.app.windows.panels.DrawPanel

Méthode qui permet de vérifier si l'arc qui l'utilisateur tente de créer existe déjà.

arcDestX - Variable in class com.tech.app.windows.panels.DrawPanel

arcDestX - Variable in class com.tech.app.windows.panels.StepperHandler

arcDestY - Variable in class com.tech.app.windows.panels.DrawPanel

arcDestY - Variable in class com.tech.app.windows.panels.StepperHandler

arcHitbox(double) - Method in class com.tech.app.models.Arc

Méthode qui permet de créer une hitbox qui suit la courbure de l'arc.

arcOriginX - Variable in class com.tech.app.windows.panels.DrawPanel

arcOriginX - Variable in class com.tech.app.windows.panels.StepperHandler

arcOriginY - Variable in class com.tech.app.windows.panels.DrawPanel

arcOriginY - Variable in class com.tech.app.windows.panels.StepperHandler

arcVector - Variable in class com.tech.app.models.Model

arrowHead - Variable in class com.tech.app.models.Arc

at - Variable in class com.tech.app.models.Arc

ATTRIBUTS - com.tech.app.windows.handlers.DrawMouse.MODE

A B C D E F G H I J L M N O P R S T U V W X Y
All Classes All Packages