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

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.
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