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

C

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

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

Méthode qui permet de calculer le GMA / graphe de couverture.

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

Méthode qui permet de calculer le GMA.

capacite - Variable in class com.tech.app.models.Place

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

Méthode qui permet de changer l'orientation de la transition.

CheckThreadViolationRepaintManager - Class in com.tech.app.functions

This class is used to detect Event Dispatch Thread rule violations
See How to Use Threads for more info

CheckThreadViolationRepaintManager() - Constructor for class com.tech.app.functions.CheckThreadViolationRepaintManager

CheckThreadViolationRepaintManager(boolean) - Constructor for class com.tech.app.functions.CheckThreadViolationRepaintManager

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

children - Variable in class com.tech.app.models.gma.Node

children - Variable in class com.tech.app.models.Transition

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

Vider les listes de places et de transition.

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

Nettoyer le modèle, et la zone de dessin.

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

Vider complétement les matrices : utiliser initialize() ensuite

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

Méthode qui appelle la fonction clearAll de la classe DrawPanel.

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

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

Méthode qui permet de passer au marquage suivant en fonction de la transition sur laquelle on clique.

com.tech.app - package com.tech.app

com.tech.app.functions - package com.tech.app.functions

com.tech.app.models - package com.tech.app.models

com.tech.app.models.gma - package com.tech.app.models.gma

com.tech.app.models.stepper - package com.tech.app.models.stepper

com.tech.app.windows - package com.tech.app.windows

com.tech.app.windows.handlers - package com.tech.app.windows.handlers

com.tech.app.windows.panels - package com.tech.app.windows.panels

com.tech.app.windows.toolbars - package com.tech.app.windows.toolbars

completeCheck - Variable in class com.tech.app.functions.CheckThreadViolationRepaintManager

containing(Point2D.Double, int, Point2D.Double) - Method in class com.tech.app.models.Arc

Retourne true lorsque la différence absolue entre les coordonnées du point d'origine et du point à comparer (toCompare) est inférieur à la valeur size

contains(double, double) - Method in class com.tech.app.models.PointControle

Méthode qui permet de savoir si les coordonnées en paramètre sont dans la zone du point de controle.

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

True si la liste d'arcs contient la place en deuxième argument

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

Retourne true lorsque les coordonnées de la souris sont à peu près égales aux coordonnées transformées par la transformation affine de l'arc du point de contrôle

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

Méthode qui permet de savoir si un marquage donné est dans la liste de marquages donné.

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

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

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

couverture(Marquage, Marquage) - Method in class com.tech.app.models.gma.CoverabilityGraph

Cette méthode permet de determiner si le marquage M1 couvre le marquage M.

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

Cette méthode permet de vérifier si le marquage du noeud actuel couvre une colonne de la matrice W_moins ou Pré.

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

Cette méthode est utilisée dans l'algorithme de création du GMA.

coverabilityGraph - Variable in class com.tech.app.models.ModelProperties

coverabilityGraph - Variable in class com.tech.app.windows.GCWindow

CoverabilityGraph - Class in com.tech.app.models.gma

Cette classe nous permet de calculer l'arbre de couverture.

CoverabilityGraph(Model) - Constructor for class com.tech.app.models.gma.CoverabilityGraph

Constructeur

currentMarquageIndex - Variable in class com.tech.app.models.stepper.Stepper

CustomEdge - Class in com.tech.app.models.gma

CustomEdge est une classe qui est utilisée dans l'affichage du GMA.

CustomEdge(String) - Constructor for class com.tech.app.models.gma.CustomEdge

Cette méthode permet d'ajouter un label à un arc.

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