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

G

g - Variable in class com.tech.app.windows.panels.GChandler

g - Variable in class com.tech.app.windows.panels.GMAhandler

GChandler - Class in com.tech.app.windows.panels

Classe qui gère l'affichage du Graphe de couverture.

GChandler(JFrame, List<Node>) - Constructor for class com.tech.app.windows.panels.GChandler

Constructeur du GChandler, qui nous permet d'afficher le GMA/Graphe de couverture dans la fenêtre dans laquelle il est appelé

GCWindow - Class in com.tech.app.windows

Classe qui permet de créer la fenêtre du GMA/ Graphe de couverture.

GCWindow(int, int, Model) - Constructor for class com.tech.app.windows.GCWindow

Constructeur de la fenetre du GMA/ Graphe de couverture

GCWindowHandler - Class in com.tech.app.windows.handlers

Classe qui permet de gérer la fenêtre du GMA/Graphe de couverture.

GCWindowHandler(JFrame) - Constructor for class com.tech.app.windows.handlers.GCWindowHandler

Constructeur de la fenêtre.

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

Méthode qui permet d'écrire la matrice C au format LaTeX dans un String.

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

Méthode qui permet de récupérer un arc existant dans la liste d'arcs.

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

Méthode qui permet de récupérer la transformée affine de l'arc.

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

Méthode qui permet de récupérer la matrice d'incidence C.

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

Méthode qui récupérer la capacité de la place.

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

Méthode qui permet de récupérer la liste des enfants du noeud.

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

Méthode qui permet de récupérer la liste des arcs enfants de la transition.

getLabel() - Method in class com.tech.app.models.gma.CustomEdge

Cette méthode permet de récupérer le label d'une instance de CustomEdge.

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

Méthode qui permet de récupérer le label de la place.

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

Méthode qui permet de récupérer le label de la transition.

getLast20FromSequence() - Method in class com.tech.app.models.stepper.Stepper

Méthode qui permet de récupérer les 20 dernières transitions franchies de la séquence de simulation.

getListe_node() - Method in class com.tech.app.models.gma.CoverabilityGraph

Méthode qui nous permet de récupérer la liste des noeuds

getListe_node() - Method in class com.tech.app.models.gma.ReachabilityGraph

Méthode qui nous permet de récupérer la liste des noeuds

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

Méthode qui permet de récupérer le marquage du noeud.

getM0() - Method in class com.tech.app.models.gma.ReachabilityGraph

Méthode qui permet de récupérer le marquage initial M0 du modèle.

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

Méthode qui permet de récupérer le marquage initial

getMarquage() - Method in class com.tech.app.models.gma.Marquage

Méthode qui retourne le vecteur du marquage.

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

Méthode qui permet de récupérer le marquage d'un noeud à la verticale sous forme de String.

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

Méthode qui permet de récupérer le marquage actuel du model.

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

Méthode qui permet de récupérer le marquage de la place.

getMarquagesPasse() - Method in class com.tech.app.models.stepper.Stepper

Méthode qui permet de récupérer la liste des marquages passés.

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

Construction du JMenuBar, retourne un objet Menu (JMenuBar) utilisé par la Frame

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

Récupérer l'objet JMenuBar

getModelBlocage() - Method in class com.tech.app.models.ModelProperties

Méthode qui permet d'afficher le résultat de @modelBlocage.

getModelBornitude() - Method in class com.tech.app.models.ModelProperties

Méthode qui permet d'afficher le résultat de @modelBornitude.

getModelReinitialisable() - Method in class com.tech.app.models.ModelProperties

Méthode qui permet d'afficher le résultat de @modelReinitialisable.

getModelRepetitivite() - Method in class com.tech.app.models.ModelProperties

Méthode qui permet d'afficher le résultat de @modelRepetitivite.

getModelVivacite() - Method in class com.tech.app.models.ModelProperties

Méthode qui permet d'afficher le résultat de @modelVivacite.

getMoved() - Method in class com.tech.app.models.PointControle

Méthode qui permet de savoir si le point de controle est en déplacement.

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

Méthode qui permet de récupérer le nom du noeud.

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

Méthode qui permet de récupérer le nom de la place.

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

Méthode qui permet de récupérer le nom de la transition.

getNb_marquages() - Method in class com.tech.app.models.gma.CoverabilityGraph

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

getOs() - Static method in class com.tech.app.functions.FUtils.OS

getParent() - Method in class com.tech.app.models.PointControle

Méthode qui permet de récuperer l'arc auquel appartien le point de contrôle.

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

Méthode qui permet de récupérer la liste des parents du noeud.

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

Méthode qui permet de récupérer la liste des arcs parents de la transition.

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

Méthode qui permet de récupérer la place liée à l'arc.

getPlaceByName(List<Place>, String) - Static method in class com.tech.app.functions.FList

Récupérer l'objet Place de nom :name: s'il est contenue dans la liste places

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

Méthode qui permet de récupérer le poids de l'arc.

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

Méthode qui permet de récupérer le point de controle de la courbe.

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

Méthode qui permet de récupérer la position du label de la place

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

Méthode qui permet de récupérer la position du label de la transition.

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

Méthode qui permet de récupérer la transformée affin inverse de l'arc.

getScaleFactor() - Static method in class com.tech.app.functions.FUtils.Screen

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

Retourne l'objet sur lequel on a cliqué

getSelectedObject(double, double) - Method in class com.tech.app.windows.panels.StepperHandler

Retourne l'objet sur lequel on a cliqué

getSequenceTransition() - Method in class com.tech.app.models.stepper.Stepper

Méthode qui permet de récuperer la séquence de simulation

getSequenceTransitionToString(List<String>) - Method in class com.tech.app.models.stepper.Stepper

Méthode qui permet de convertir la sequence de simulation (Liste de string) en un string

getSize() - Method in class com.tech.app.models.PointControle

Méthode qui permet de récupérer la taille du point de controle.

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

Retourne l'objet Toolbar avec nos paramètres

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

Retourne l'objet Toolbar avec nos paramètres.

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

Récupérer la JToolBar

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

Méthode qui permet de récupérer la transition liée à l'arc.

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

Méthode qui permet de récupérer la liste des transitions franchissables pour le marquage actuel du modèle.

getTransitionFranchissables(Vector<Integer>) - Method in class com.tech.app.models.Model

Méthode qui permet de récupérer la liste des transitions franchissables pour le marquage donné en paramètre.

getVersion() - Static method in class com.tech.app.functions.FUtils.Program

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

Méthode qui permet de récupérer la matrice W-.

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

Méthode qui permet de récupérer la matrice W+.

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

Méthode qui permet de récupérer la coordonnée x du centre de la place.

getX() - Method in class com.tech.app.models.PointControle

Méthode qui permet de récupérer la coordonnée x.

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

Méthode qui permet de récupérer la coordonnée x de la transition.

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

Méthode qui permet de récupérer la coordonnée y du centre de la place.

getY() - Method in class com.tech.app.models.PointControle

Méthode qui permet de récupérer la coordonnée y.

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

Méthode qui permet de récupérer la coordonnée y de la transition.

GMAhandler - Class in com.tech.app.windows.panels

Classe qui gère l'affichage du GMA

GMAhandler(JFrame, List<Node>) - Constructor for class com.tech.app.windows.panels.GMAhandler

Constructeur du GMAhandler, qui nous permet d'afficher le GMA dans la fenêtre dans laquelle il est appelé

GMAWindow - Class in com.tech.app.windows

Classe qui permet de créer la fenêtre du GMA qui hérite de la classe abstraite Window.

GMAWindow(int, int, Model) - Constructor for class com.tech.app.windows.GMAWindow

Constructeur de la fenêtre du GMA.

GMAWindowHandler - Class in com.tech.app.windows.handlers

Classe qui permet de gérer la fenêtre du GMA.

GMAWindowHandler(JFrame) - Constructor for class com.tech.app.windows.handlers.GMAWindowHandler

Constructeur de la fenêtre du GMA.

goToFirstMarquage() - Method in class com.tech.app.models.stepper.Stepper

Méthode qui permet d'aller au premier marquage de la liste de marquage passé.

goToLastMarquage() - Method in class com.tech.app.models.stepper.Stepper

Méthode qui permet d'aller au dernier marquage atteint dans la simulation (dernier marquage passé).

goToNextMarquage() - Method in class com.tech.app.models.stepper.Stepper

Méthode qui permet d'aller au marquage suivant si le marquage actuel n'est pas le dernier.

goToPreviousMarquage() - Method in class com.tech.app.models.stepper.Stepper

Méthode qui permet d'aller au marquage précédent si le marquage actuel n'est pas le premier marquage de la liste marquage passé.

Graphics() - Constructor for class com.tech.app.functions.FUtils.Graphics

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