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
All Classes All Packages
All Classes All Packages
S
- save(File, Model) - Method in class com.tech.app.windows.handlers.SaveManager
-
Méthode qui permet de sauvegarder le modèle actuel dans un fichier .jrdp.
- saveManager - Variable in class com.tech.app.windows.toolbars.Menu
- SaveManager - Class in com.tech.app.windows.handlers
-
Classe qui gère la sauvegarde et le chargement de fichier.
- SaveManager() - Constructor for class com.tech.app.windows.handlers.SaveManager
- scaleFactor - Variable in class com.tech.app.windows.panels.DrawPanel
- scaleFactor - Variable in class com.tech.app.windows.panels.StepperHandler
- ScaleHandler() - Constructor for class com.tech.app.windows.handlers.DrawMouse.ScaleHandler
- scaleX - Variable in class com.tech.app.windows.panels.DrawPanel
- scaleX - Variable in class com.tech.app.windows.panels.StepperHandler
- scaleY - Variable in class com.tech.app.windows.panels.DrawPanel
- scaleY - Variable in class com.tech.app.windows.panels.StepperHandler
- Screen() - Constructor for class com.tech.app.functions.FUtils.Screen
- SELECT - com.tech.app.windows.handlers.DrawMouse.MODE
- selectedObject - Variable in class com.tech.app.windows.handlers.StepperMouse
- selectedObject - Variable in class com.tech.app.windows.panels.DrawPanel
- selectObject(Object) - Method in class com.tech.app.windows.panels.DrawPanel
-
Définir la variable selectedObject à l'objet passé en paramètre
- sequenceTransition - Variable in class com.tech.app.models.stepper.Stepper
- setCapacite(int) - Method in class com.tech.app.models.Place
-
Méthode qui permet de donner/modifier la capacité de la place.
- setChildren(List<NodeStruct>) - Method in class com.tech.app.models.gma.Node
-
Méthode qui permet de donner/modifier la liste des enfants du noeud.
- setCompleteCheck(boolean) - Method in class com.tech.app.functions.CheckThreadViolationRepaintManager
- setM(Marquage) - Method in class com.tech.app.models.gma.Node
-
Méthode qui permet de donner/modifier le marquage d'un noeud.
- setMarquage(int) - Method in class com.tech.app.models.Place
-
Méthode qui permet de donner/modifier le marquage de la place.
- setMarquage(Vector<Integer>) - Method in class com.tech.app.models.gma.Marquage
-
Méthode qui permet de donner un autre vecteur de marquage au marquage.
- setMarquage(Vector<Integer>) - Method in class com.tech.app.models.Model
-
Méthode qui permet de donner un certain marquage au modèle.
- setMoved(boolean) - Method in class com.tech.app.models.PointControle
-
Méthode qui permet de définir si le point de controle est en mouvement.
- setName(String) - Method in class com.tech.app.models.gma.Node
-
Méthode qui permet de donner un nom à un noeud.
- setOld() - Method in class com.tech.app.models.gma.Marquage
-
Méthode qui permet de passer l'attribut nouveau du marquage à la valeur faux.
- setParents(List<NodeStruct>) - Method in class com.tech.app.models.gma.Node
-
Méthode qui permet de donner/modifier la liste des parents du noeud.
- setPlace(Place) - Method in class com.tech.app.models.Arc
-
Méthode qui permet de donner/modifier la place liée à l'arc.
- setPlaceVector(List<Place>) - Method in class com.tech.app.models.Model
-
Méthode qui permet de donner/modifier la liste des Places.
- setPoids(int) - Method in class com.tech.app.models.Arc
-
Méthode qui permet de donner/modifier le poids d'un arc.
- setShowSequence(boolean) - Method in class com.tech.app.models.stepper.Stepper
-
Méthode qui permet d'afficher la séquence de simulation ou non.
- setStepperHandler(StepperHandler) - Method in class com.tech.app.models.stepper.Stepper
-
Méthode qui permet d'affecter un gestionnaire graphique au stepper.
- setTransitionVector(List<Transition>) - Method in class com.tech.app.models.Model
-
Méthode qui permet de donner/modifier la liste des Transitions.
- setWindowHandler(WindowHandler) - Method in class com.tech.app.windows.Window
-
Méthode qui permet d'attribuer un gestionnaire de fenêtre à une fenêtre.
- setX(double) - Method in class com.tech.app.models.PointControle
-
Méthode qui permet de donner/modifier la coordonnée x du point de controle.
- setY(double) - Method in class com.tech.app.models.PointControle
-
Méthode qui permet de donner/modifier la coordonnée y du point de controle.
- showModel() - Method in class com.tech.app.windows.panels.DrawPanel
-
Afficher le modèle dans une popup en utilisant LaTeX
- showOptions(Object) - Method in class com.tech.app.windows.panels.DrawPanel
-
Afficher les options de l'objet passé en paramètre.
- showOptionsLabel(Object) - Method in class com.tech.app.windows.panels.DrawPanel
-
Afficher une popup de sélection du Label ainsi que de la position du label pour une place ou une transition.
- showSequence - Variable in class com.tech.app.models.stepper.Stepper
- size - Variable in class com.tech.app.models.PointControle
- start() - Method in class com.tech.app.App
-
Méthode qui initialise l'application et lance la méthode run().
- stepper - Variable in class com.tech.app.windows.handlers.StepperMouse
- stepper - Variable in class com.tech.app.windows.panels.StepperHandler
- stepper - Variable in class com.tech.app.windows.toolbars.StepperToolbar
- Stepper - Class in com.tech.app.models.stepper
-
Classe qui permet de simuler pas à pas le RdP actuel.
- Stepper(Model) - Constructor for class com.tech.app.models.stepper.Stepper
-
Constructeur
- Stepper(Model, StepperHandler) - Constructor for class com.tech.app.models.stepper.Stepper
-
Constructeur
- stepperHandler - Variable in class com.tech.app.models.stepper.Stepper
- stepperHandler - Variable in class com.tech.app.windows.handlers.StepperMouse
- StepperHandler - Class in com.tech.app.windows.panels
-
Classe qui gère l'affichage du Stepper.
- StepperHandler(JFrame, Stepper) - Constructor for class com.tech.app.windows.panels.StepperHandler
-
Constructeur.
- StepperMouse - Class in com.tech.app.windows.handlers
-
Classe qui permet de gérer les actions de la souris dans le fenêtre du Stepper.
- StepperMouse(StepperHandler) - Constructor for class com.tech.app.windows.handlers.StepperMouse
-
Constructeur
- StepperMouse.StepperScaleHandler - Class in com.tech.app.windows.handlers
-
Classe qui permet de gérer l'échelle en fonction du zoom.
- StepperScaleHandler() - Constructor for class com.tech.app.windows.handlers.StepperMouse.StepperScaleHandler
- StepperToolbar - Class in com.tech.app.windows.toolbars
-
Classe pour créer la barre d'outil du Stepper.
- StepperToolbar(JFrame, StepperMouse) - Constructor for class com.tech.app.windows.toolbars.StepperToolbar
-
Constructeur
- StepperWindow - Class in com.tech.app.windows
-
Classe qui permet de créer la fenêtre du stepper.
- StepperWindow(int, int, Model) - Constructor for class com.tech.app.windows.StepperWindow
-
Constructeur de la fenêtre du Stepper.
- StepperWindowHandler - Class in com.tech.app.windows.handlers
-
Classe qui permet de gérer la fenêtre du stepper.
- StepperWindowHandler(JFrame) - Constructor for class com.tech.app.windows.handlers.StepperWindowHandler
- subVector(Marquage, Marquage) - Method in class com.tech.app.models.gma.CoverabilityGraph
-
Méthode qui nous permet de faire une soustraction entre deux vecteurs.
All Classes All Packages