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

R

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

Méthode qui permet de passer aléatoirement une transition franchissable.

reachabilityGraph - Variable in class com.tech.app.windows.GMAWindow

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

Cette classe nous permet de créer le GMA.

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

Constructeur

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

Méthode qui permet de supprimer un arc.

removeArcs(List<Arc>) - Method in class com.tech.app.models.Model

Méthode qui permet de supprimer une liste d'arcs.

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

Méthode qui permet de retirer un arc de la liste des arcs enfants de la transition.

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

Méthode qui permet de retirer une ou plusieurs marques à la place.

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

Méthode qui permet de retirer un arc de la liste des arcs parents de la transition.

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

Supprimer une place

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

Supprimer une place

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

Supprimer une transition

repaintTest() - Static method in class com.tech.app.functions.CheckThreadViolationRepaintManager

REPETITIVITE - com.tech.app.models.ModelProperties.MODEL_PROPS

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

Méthode qui permet de réinitialiser le stepper.

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

Méthode qui permet de retirer le label de la place.

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

Méthode qui permet de retirer le label de la transition.

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

Méthode qui permet de remettre à 0 le nombre de marque dans la place.

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

Méthode qui permet de remettre la position du label à 1.

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

Méthode qui permet de remettre la position du label à 1

resizable - Variable in class com.tech.app.windows.Window

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

REVERSIBILITE - com.tech.app.models.ModelProperties.MODEL_PROPS

round(double, int) - Static method in class com.tech.app.functions.FMaths

Arrondir le nombre "number" à la précision 1/précision

run() - Method in class com.tech.app.App

Méthode dans laquelle on crée la fenêtre principale.

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